Tableau Systems for First Order Number Theory and Certain Higher Order Theories
| Author | : S.A. Toledo |
| Publisher | : Springer |
| Total Pages | : 342 |
| Release | : 2006-11-15 |
| ISBN-10 | : 9783540374428 |
| ISBN-13 | : 3540374426 |
| Rating | : 4/5 (28 Downloads) |
Book Synopsis Tableau Systems for First Order Number Theory and Certain Higher Order Theories by : S.A. Toledo
Download or read book Tableau Systems for First Order Number Theory and Certain Higher Order Theories written by S.A. Toledo and published by Springer. This book was released on 2006-11-15 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: