Introduction to mathematical logic : Volume I

Enregistré dans:
Détails bibliographiques
Auteur principal : Church Alonzo (Auteur)
Format : Livre
Langue : anglais
Titre complet : Introduction to mathematical logic. Volume I / by Alonzo Church
Publié : Princeton (N.J.) : Princeton University Press , 1956
Description matérielle : 1 vol. (IX-378 p.) + errata p. 377-378
Collection : Princeton mathematical series ; 17
Sujets :
LEADER 01284cam a2200397 4500
001 PPN153535148
003 http://www.sudoc.fr/153535148
005 20220107060300.0
010 |a 0-691-07984-6  |b rel. 
035 |a (OCoLC)490823826 
100 |a 20110707d1956 k y0frey0103 ba 
101 0 |a eng 
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 rdamedia 
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-378 p.)  |d 24 cm  |e errata p. 377-378 
225 2 |a Princeton mathematical series  |v 17 
305 |a Autres tirages : 1958 (2th), 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 
686 |a 03-02  |c 1991  |2 msc 
700 1 |3 PPN060369604  |a Church  |b Alonzo  |f 1903-1995  |4 070 
801 3 |a FR  |b Abes  |c 20220106  |g AFNOR 
930 |5 441092208:714250708  |b 441092208  |j u 
979 |a CCFA 
998 |a 911094