Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorKurt-Gรถdel-Gesellschaft. author
TitleCollegium Logicum [electronic resource]
ImprintVienna : Springer Vienna, 1996
Connect tohttp://dx.doi.org/10.1007/978-3-7091-9461-4
Descript VII, 140 p. 3 illus. online resource

CONTENT

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



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