Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Author :
Publisher : Springer
Total Pages : 342
Release :
ISBN-10 : 9783540374428
ISBN-13 : 3540374426
Rating : 4/5 (426 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:


Tableau Systems for First Order Number Theory and Certain Higher Order Theories Related Books