Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleMathematical Logic and Its Applications [electronic resource] / edited by Dimiter G. Skordev
ImprintBoston, MA : Springer US, 1987
Connect tohttp://dx.doi.org/10.1007/978-1-4613-0897-3
Descript 386 p. online resource

CONTENT

Gรถdel Session (Invited Papers) -- Remarks Concerning Kurt Gรถdelโ{128}{153}s Life and Work -- Facets of Incompleteness -- Goder s Life and Work -- Summer School (Invited Papers) -- Categorial Grammar Lambda Calculus -- A Constructive Morse Theory of Sets -- Differentiation of Constructive Functions of a Real Variable and Relative Computability -- A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof -- Reasoning in Trees -- Non-Deterministic Program Schemata and their Relation to Dynamic Logic -- The Parallel Evaluation of Functional Programs -- Logic Approximating Sequences of Sets -- Intuitionistic Formal Spaces โ{128}{148} A First Communication -- On the Logic of Small Changes in Theories, II -- On โ{128}{152}Logical Relationsโ{128}{153} in Program Semantics -- Conference (Contributed Papers) -- Search Computabi1ity and Computabi1ity with Numberings Are Equivalent the Case of Finite Set of Objects -- Cut-Elimination Theorem for Higher-Order Classical Logic. An Intuitionistic Proof -- Modal Environment for Boolean Speculations -- Distributive Spaces -- Approximating the Projective Model -- Projection Complete Graph Problems Corresponding to a Branching-Program-Based Characterization of the Complexity Classes HC2, L and NL -- Constructive Theories with Abstract Data Types for Program Synthesis -- A First-Order Logic for Logic Programming -- The Relational Semantics for Branched Quantifiers -- Propositional Dynamic Logic in Two- and More Dimensions -- On a Non-Constructive Type Theory and Program Derivation -- Prime Computabi1ity on Partial Structures -- Complexity Bounded Martin-Lรถf Tests -- Participants and Contributors


Mathematics Logic Integral transforms Operational calculus Mathematical logic Mathematics Mathematical Logic and Foundations Integral Transforms Operational Calculus Logic



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