- Libros
- Tableau Systems for First Order Number Theory and Certain Higher Order Theories
- Libros
- Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
TOLEDO, S.A.
Anglais
Tableau Systems for First Order Number Theory and Certain Higher Order Theories
TOLEDO, S.A.EAN
9783540071495
Éditorial
Année d'édition
1975
langage
Anglais
Collection
Lecture Notes in Mathematics
Haute
235
Largeur
155