Monographie
Tableau systems for first order number theory and certain higher order theories
1975
339 p.
3-540-07149-0
M/A1(447)
calcul des prédicats ; démonstration ; nombre
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-02 ; 03A05 ; 03B99 ; 03Fxx
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Illustrations : Fig.
Collection : Lecture notes in mathematics
N° de collection : 0447
Bibliographie : Bibliogr. p. 335-339
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(447) MAT014323 | [disponible] | YRéserver |