First-order logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Smullyan Raymond Merrill (Auteur)
Format : Livre
Langue : anglais
Titre complet : First-order logic / Raymond M. Smullyan
Publié : Berlin, Heidelberg, New York : Springer-Verlag , 1968
Description matérielle : 1 vol. (XII-158 p.)
Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete Neue Folge hrsg. von L.V. Ahlfors... [et al.] ; 43
Sujets :
LEADER 01771cam a2200517 4500
001 PPN004544439
003 http://www.sudoc.fr/004544439
005 20240318152200.0
020 |a US  |b 6813495 
035 |a (OCoLC)489715858 
035 |a ocm00437848 
035 |a sib0000707 
100 |a 19990302h19681968k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE  |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 1 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a First-order logic  |f Raymond M. Smullyan 
214 0 |a Berlin  |a Heidelberg  |a New York  |c Springer-Verlag  |d 1968 
215 |a 1 vol. (XII-158 p.)  |d 24 cm 
225 2 |a Ergebnisse der Mathematik und ihrer Grenzgebiete  |v 43 
305 |a Autre impression : 1971 
320 |a Bibliogr. p. [156]. Index 
410 | |0 013332511  |t Ergebnisse der Mathematik und ihrer Grenzgebiete  |i Neue Folge  |f hrsg. von L.V. Ahlfors... [et al.]  |c Berlin  |n Springer  |d 1955  |v 43 
606 |3 PPN028111877  |a Logique du premier ordre  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 164 
680 |a QA9  |b .S57 
700 1 |3 PPN02714223X  |a Smullyan  |b Raymond Merrill  |f 1919-2017  |4 070 
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 Abes  |c 20230621  |g AFNOR 
979 |a PHILO 
979 |a CCFA 
930 |5 441092107:249796708  |b 441092107  |a L 4350  |j s 
930 |5 441092208:639582753  |b 441092208  |a 03C32  |j u 
991 |5 441092107:249796708  |a Rétroconversion Philosophie 
991 |5 441092208:639582753  |a exemplaire créé automatiquement par l'ABES 
915 |5 441092208:639582753  |b 4431 
998 |a 440287