Eléments de logique mathématique : théorie des modèles [monographie] |
| Auteur(s): | Kreisel, Georg (1923-2015) Krivine, Jean-Louis |
| Langue: | français |
| Collection: | Monographies de la Société de Mathématique de France, n° 3 |
| Editeur, date d'édition: | Dunod, 1967 |
| Ville(s) d'édition: | Paris (FR) |
| ISSN: | 0583-8673 |
| Classification MSC: | 02.00 (2000) |
| Notes: | viii ; 25 cm ; 212 p. |
| Thèmes: | logique, modeles mathematiques, axiomatique, theorie des modeles, calcul des predicats |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 KRE 67 | Disponible |