Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu
Hunter, Geoffrey, Stanosz, Barbara (1935-2014) Tłumaczenie
Year of publication: 1982
Metamatematyka, Topologia, Logika, Logika, Języki sztuczne, First-order logic
Author
Hunter, Geoffrey
Stanosz, Barbara (1935-2014) Tłumaczenie
Title
Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu
ISBN
83-01-03817-9 zł 140
Place of publication
Warszawa :
Publishing house
Państ. Wydaw. Naukowe,
Year of publication
1982
Volume
218, [2] s. :
Dimensions
24 cm.
UDC
16
Object passwords
Metamatematyka
Topologia
Logika
Logika
Języki sztuczne
First-order logic
Additional information
Bibliogr. s. 210-216.
020
%a 8301038179
080
%a 16
100
%a Hunter, Geoffrey
245
%a Metalogika :
%b wstęp do metateorii standardowej logiki pierwszego rzędu /
260
%a Warszawa :
%b Państ. Wydaw. Naukowe,
%c 1982
%e (Pozn :
%f UAM).
300
%a 218, [2] s. :
%b err. ;
%c 24 cm.
504
%a Bibliogr. s. 210-216.
650
%a Metamatematyka
650
%a Topologia
650
%a Logika
650
%a Logika
650
%a Języki sztuczne
650
%a First-order logic
700
%a Stanosz, Barbara
%d (1935-2014)
%e Tłumaczenie
920
%a 83-01-03817-9 zł 140