First-order logic

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 :
Logique du premier ordre
Logique mathématique

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 4350a Empruntable Non consultable
Bât. Censive, 1er étage, salle 111 L 4350b Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03C32 Prêt sans prolongation Disponible