Tableau systems for first order number theory and certain higher order theories

Tableau systems for first order number theory and certain higher order theories

Enregistré dans:
Détails bibliographiques
Auteur principal : Toledo Sue Ann (Auteur)
Format : Livre
Langue : anglais
Titre complet : Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Publié : Berlin, New York : Springer , cop. 1975
Description matérielle : 1 vol. (339 p.)
Collection : Lecture notes in mathematics ; 447
Sujets :
Calcul des prédicats
Théorie des nombres
Théorie de la démonstration
Description
Bibliographie : Bibliogr. p. 335-339
ISBN : 3-540-07149-0
0-387-07149-0