Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorKurt-Gรถdel-Gesellschaft. author
TitleCollegium Logicum [electronic resource]
ImprintVienna : Springer Vienna, 1996
Connect to
Descript VII, 140 p. 3 illus. online resource


Resolution Games and Non-liftable Resolution Orderings -- A Tableau Calculus for Partial Functions -- MUltlog: an Expert System for Multiple-valued Logics -- A Fundamental Problem of Mathematical Logic -- On the Lengths of Proofs of Consistency -- The Craig Interpolation Theorem for Schematic Systems -- The Role of Monotonicity in Descriptive Complexity Theory -- Numbers Defined by Turing Machines

Mathematics Computers Algorithms Computer logic Mathematical logic Physics Mathematics Mathematical Logic and Foundations Theoretical Mathematical and Computational Physics Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Algorithm Analysis and Problem Complexity


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


facebook   instragram