Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Download or Read eBook Tableau Systems for First Order Number Theory and Certain Higher Order Theories PDF 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.
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
Book excerpt: