Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorSchรผtte, Kurt. author
TitleProof Theory [electronic resource] / by Kurt Schรผtte
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1977
Connect tohttp://dx.doi.org/10.1007/978-3-642-66473-1
Descript XII, 302 p. online resource

CONTENT

A. Pure Logic -- I. Fundamentals -- II. Classical Predicate Calculus -- III. Intuitionistic Predicate Calculus -- IV. Classical Simple Type Theory -- B. Systems of Arithmetic -- V. Ordinal Numbers and Ordinal Terms -- VI. Functional of Finite Type -- VII. Pure Number Theory -- C. Subsystems of Analysis -- VIII. Predicative Analysis -- IX. Higher Ordinals and Systems of ?11-Analysis


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