A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur R.M. Smullyan |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
First-order logic / R.M. Smullyan (1968)
Titre : First-order logic Type de document : monographie Auteurs : R.M. Smullyan, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1968 Collection : Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136 num. 043 Langues : Anglais Catégories : 03-xx Mots-clés : logique First-order logic [monographie] / R.M. Smullyan, Auteur . - Berlin : Springer-Verlag, 1968. - (Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136; 043) .
Langues : Anglais
Catégories : 03-xx Mots-clés : logique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4709 SMUL/02/3903 Livre Recherche Salle Disponible Theory of formal systems. Revised edition / R.M. Smullyan (1961)
Titre : Theory of formal systems. Revised edition Type de document : monographie Auteurs : R.M. Smullyan, Auteur Editeur : Princeton (N.J.) : Princeton University Press Année de publication : 1961 Collection : Annals of mathematics studies num. 047 Langues : Anglais Catégories : 68C01 Mots-clés : théorie des systèmes Theory of formal systems. Revised edition [monographie] / R.M. Smullyan, Auteur . - Princeton (N.J.) : Princeton University Press, 1961. - (Annals of mathematics studies; 047) .
Langues : Anglais
Catégories : 68C01 Mots-clés : théorie des systèmes Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 74 SMUL/02/ST-47 Livre Recherche Salle Disponible