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

Toledo, Sue

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

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.