Tableau systems for first order number theory and certain higher order theories [monographie] |
| Auteur(s): | Toledo, Sue Ann (1940-....) |
| Langue: | anglais |
| Collection: | Lecture notes in mathematics, n° 447 |
| Editeur, date d'édition: | Springer, 1975 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New-York (US) |
| ISBN: | 3-540-07149-0 ; 0-387-07149-0 |
| ISSN: | 0075-8434 |
| Classification MSC: | 02D99 (2000) |
| Notes: | iii ; bibliogr. pp. 335-339 ; 24 cm ; 339 p. |
| Thèmes: | theorie de la demonstration, theorie des nombres, calcul des predicats, proof theory, number theory, predicate calculus |
| Localisation: | http://link.springer.com.sicd.clermont-universite.fr/book/10.1007/BFb0062936 |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 TOL 75 | Disponible |