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
dostępne:
1 z 1
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. 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 :%e (Pozn :
%f UAM).%f UAM).
300
%a 218, [2] s. :
%b err. ;%b err. ;
%c 24 cm.
504
%a Bibliogr. s. 210-216.%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
Dostępne egzemplarze
1.
Numer inwentarzowy: I-K-082054-WD
Sygnatura: 16
Sygnatura: 16
Status: W magazynie
Powiatowa i Miejska Biblioteka Publiczna w Kamieniu Pomorskim , Wypożyczalnia dla Dorosłych, ul. Wolińska 9, 72-400 Kamień Pomorski
