Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo

Author	Toledo, Sue. author
Title	Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo
Imprint	Berlin, Heidelberg : Springer Berlin Heidelberg, 1975
Connect to	http://dx.doi.org/10.1007/BFb0062936
Descript	IV, 348 p. online resource

CONTENT

First order number theory -- Second order logic -- Other higher order systems due to Schรผtte

Mathematics Mathematics Mathematics general

Location

Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

About Us

Social Network