Tableau Systems for First Order Number Theory and Certain Higher Order Theories
by Sue Ann Toledo
| Publisher: | Springer-Verlag |
| Published In: | 1975 |
| ISBN-10: | 0387071490 |
| ISBN-13: | 9780387071497 |
| Pages: | pp. 339 |
The Title "Tableau Systems for First Order Number Theory and Certain Higher Order Theories" is written by Sue Ann Toledo. This book was published in the year 1975. This book has total of pp. 339 (Pages). The publisher of this title is Springer-Verlag. Tableau Systems for First Order Number Theory and Certain Higher Order Theories is currently Not Available with us.You can enquire about this book and we will let you know the availability.