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
available:
1 from 1
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. 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
Available items
1.
Accession: I-K-082054-WD
Signature: 16
Signature: 16
Status: In stock
Powiatowa i Miejska Biblioteka Publiczna w Kamieniu Pomorskim , Wypożyczalnia dla Dorosłych, ul. Wolińska 9, 72-400 Kamień Pomorski
