Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) - Couverture souple

Toledo, Sue

 
9783540071495: Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics)