Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorToledo, Sue. author
TitleTableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1975
Connect tohttp://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

Contact Us

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

Social Network

  line

facebook   instragram