Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 447, Band 447) - Softcover

Toledo, Sue

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

Inhaltsangabe

First order number theory.- Second order logic.- Other higher order systems due to Schütte.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.