Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu / Geoffrey Hunter ; z jęz. ang. przeł. Barbara Stanosz.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hunter, Geoffrey
Weitere Verfasser:	Stanosz, Barbara (1935-2014) (Tł.)
Format:	Buch
Sprache:	Polnisch Englisch
Veröffentlicht:	Warszawa : Państwowe Wydaw. Naukowe, 1982.
Schlagworte:	Logika pierwszego rzędu.

MARC


LEADER	00000cam a2200000 i 4500
001	in00000212995
005	20260809093315.9
008	021105s1982 pl f \|000 0 pol c
020			\|a 8301038179
035			\|a zz2002964195
035			\|a (GDPAN)vtls000207198
039		9	\|a 202501192030 \|b VLOAD \|c 202402210750 \|d VLOAD \|y 202108101531 \|z catsli
040			\|a KR 295/MP \|c KR 295/MP \|d KR 295/MP \|d KAT U/TK
041	1		\|a pol \|h eng
100	1		\|a Hunter, Geoffrey. \|0 n96401098 \|9 4f0966fb-dbfa-498f-860e-d260adcaa7df
240	1	0	\|a Metalogic \|l (pol.)
245	1	0	\|a Metalogika : \|b wstęp do metateorii standardowej logiki pierwszego rzędu / \|c Geoffrey Hunter ; z jęz. ang. przeł. Barbara Stanosz.
260			\|a Warszawa : \|b Państwowe Wydaw. Naukowe, \|c 1982.
300			\|a 218 s. ; \|c 24 cm.
336			\|a Tekst \|b txt \|2 rdacontent
337			\|a Bez urządzenia pośredniczącego \|b n \|2 rdamedia
338			\|a Wolumin \|b nc \|2 rdacarrier
504			\|a Bibliogr. s. 210-216.
650			\|a Logika pierwszego rzędu. \|0 s00080102 \|9 aa5f428d-195d-444b-9c30-3a11e7a2a9c2
700	1		\|a Stanosz, Barbara \|d (1935-2014). \|e Tł. \|0 n95000521 \|9 9070d08b-cf01-4b09-a96b-5d14c7b10aa9
710	2		\|a Państwowe Wydawnictwo Naukowe (1951-1992). \|4 pbl \|0 n96211434 \|9 e687390a-af8f-424c-8286-0ef8f52573b4
920			\|a 83-01-03817-9
984			\|a TARN_010
987			\|a WA_525
988			\|a ZGORA_U
993			\|a (OCoLC)749477390
999			\|a VIRTUA40 m
999	f	f	\|i a5b9048b-89cc-47d6-ab4f-fdea8532d10c \|s ed3b1e80-1073-4813-b096-014fb900af28 \|t 0
952	f	f	\|p Do wypożyczenia \|a Biblioteka Gdańska PAN \|b Gdańsk \|c Nowy Gmach \|d Magazyn NG \|t 0 \|e 75113 W \|h Według sygnatur \|i Książka \|m 1000152077