S a Toledo

S a Toledo is the author of books such as Tableau Systems For First Order Number Theory and Certain Higher Order Theories.