Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu
Hunter, Geoffrey, Stanosz, Barbara (1935-2014) Tłumaczenie
Rok wydania: 1982
Metamatematyka, Topologia, Logika, Logika, Języki sztuczne, First-order logic
Autor
Hunter, Geoffrey
Stanosz, Barbara (1935-2014) Tłumaczenie
Tytuł
Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu
ISBN
83-01-03817-9 zł 140
Miejsce wydania
Warszawa :
Wydawnictwo
Państ. Wydaw. Naukowe,
Rok wydania
1982
Objętość
218, [2] s. :
Rozmiary
24 cm.
UKD
16
Hasła przedmiotowe
Metamatematyka
Topologia
Logika
Logika
Języki sztuczne
First-order logic
Informacje dodatkowe
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