An outline of mathematical logic : fundamental results and notions explained with all details

Enregistré dans:
Détails bibliographiques
Auteur principal : Grzegorczyk Andrzej (Auteur)
Autres auteurs : Wojtasiewicz Olgierd (Traducteur), Zawadowski Waclaw (Traducteur)
Format : Livre
Langue : anglais
Titre complet : An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk; [translated by Olgierd Wojtasiewicz and Waclaw Zawadowski]
Publié : Dordrecht, Boston : D. Reidel Publishing Company , C 1974
Description matérielle : 1 vol. (x-596 p.)
Collection : Synthese Library (Dordrecht) ; 70
Traduction de : Zarys logiki matematycznej
Sujets :
LEADER 01753cam a2200493 4500
001 PPN016258045
003 http://www.sudoc.fr/016258045
005 20240319103100.0
010 |a 90-277-0359-0 
020 |a US  |b 7297956 //r83 
035 |a (OCoLC)1119306 
035 |a ocm01119306 
100 |a 19741120d1974 k y0frey0103 ba 
101 1 |a eng  |c pol  |2 639-2 
102 |a NL  |a US 
105 |a a a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a An outline of mathematical logic  |e fundamental results and notions explained with all details  |f by Andrzej Grzegorczyk  |g [translated by Olgierd Wojtasiewicz and Waclaw Zawadowski] 
214 0 |a Dordrecht  |a Boston  |c D. Reidel Publishing Company 
214 4 |d C 1974 
215 |a 1 vol. (x-596 p.)  |c ill.  |d 23 cm 
225 2 |a Synthese library  |v 70 
304 |a Trad. de "Zarys logiki matematycznej" 
320 |a Bibliogr. p. [581]-585. Index 
410 | |0 039111717  |t Synthese Library (Dordrecht)  |x 0166-6991  |v 70 
454 | |t Zarys logiki matematycznej  |d 1969 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 511/.3 
680 |a QA9  |b .G7913 
700 1 |3 PPN026905329  |a Grzegorczyk  |b Andrzej  |f 1922-....  |c philosophe  |4 070 
702 1 |3 PPN030781450  |a Wojtasiewicz  |b Olgierd  |f 1916-1995  |4 730 
702 1 |3 PPN175461562  |a Zawadowski  |b Waclaw  |f 1931-....  |4 730 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20220115  |g AFNOR 
979 |a PHILO 
930 |5 441092107:252903110  |b 441092107  |a L GRZ 4899  |j s 
991 |5 441092107:252903110  |a Retroconversion Philosophie 
998 |a 445408