Introduction to mathematical logic : Volume I

Saved in:
Bibliographic Details
Main Author : Church Alonzo (Auteur)
Format : Book
Language : anglais
Title statement : Introduction to mathematical logic. Volume I / by Alonzo Church
Published : Princeton (N.J.) : Princeton University Press , 1956
Physical Description : 1 vol. (IX-376 p.)
Series : Princeton mathematical series ; 17
Subjects :
LEADER 02404cam a2200769 4500
001 PPN020959931
003 http://www.sudoc.fr/020959931
005 20240319103300.0
010 |a 0-691-07984-6  |b rel. 
020 |a US  |b 5310150 /L 
020 |a GB  |b 56-15262 
035 |a 005503833  |9 sudoc 
035 |a 051777940  |9 sudoc 
035 |a 014942070  |9 sudoc 
035 |a 011712996  |9 sudoc 
035 |a 095876308  |9 sudoc 
035 |a (OCoLC)490823826 
035 |a ocm18937646 
035 |a ocm31714428 
035 |a ocm00374881 
035 |a sib0620162 
035 |a sib0080907 
035 |a PRITEC.STRASBG.080013017001 
035 |a PRITEC.ROUEN.070011724001 
035 |a sib1608805 
035 |a PRITEC.AIX.010610639001 
035 |a SU026601430001P D 
100 |a 19941219h19561956k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a US 
105 |a y 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 Introduction to mathematical logic  |h Volume I  |f by Alonzo Church 
214 0 |a Princeton (N.J.)  |c Princeton University Press  |d 1956 
215 |a 1 vol. (IX-376 p.)  |d 24 cm 
225 2 |a Princeton mathematical series  |v 17 
305 |a Autres tirages : 1958, 1962, 1964, 1967, 1970 (6th printing) 
320 |a Notes bibliogr. Index 
410 | |0 013284045  |t Princeton mathematical series  |x 0079-5194  |v 17 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 164 
686 |a 02.0X  |c 2000  |2 msc 
700 1 |3 PPN060369604  |a Church  |b Alonzo  |f 1903-1995  |4 070 
801 3 |a FR  |b Abes  |c 20220113  |g AFNOR  |h 005503833 
801 3 |a FR  |b Abes  |c 20220113  |g AFNOR  |h 051777940 
801 3 |a FR  |b Abes  |c 20220113  |g AFNOR  |h 014942070 
801 3 |a FR  |b Abes  |c 20220113  |g AFNOR  |h 011712996 
801 3 |a FR  |b Abes  |c 20220113  |g AFNOR  |h 095876308 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a FR  |b BNF  |c 19970523 
979 |a PHILO 
930 |5 441092107:252905237  |b 441092107  |a L 2943  |j s 
991 |5 441092107:252905237  |a Rétroconversion Philosophie 
998 |a 445446