Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Notes in Logic series, is the proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990. It contains eighteen papers by leading researchers, covering all fields of mathematical logic from the philosophy of mathematics, through model theory, proof theory, recursion theory, and set theory, to the connections of logic to computer science. The articles published here are still widely cited and continue to provide ideas for ongoing research projects.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff's classic Set Theory (2nd ed., 1927), where set theory and the theory of functions were expounded as the fundamental parts of mathematics in such a way that there was no need for references to other sources. Along the lines of Hausdorff's initial work (1st ed., 1914), measure and integration theory is also included here as the third fundamental part of contemporary mathematics.The material about sets and numbers is placed in Volume 1 and the material about functions and measures is placed in Volume 2. 　 Contents Fundamentals of the theory of classes, sets, and numbers Characterization of all natural models of Neumann - Bernays - Godel and Zermelo - Fraenkel set theories Local theory of sets as a foundation for category theory and its connection with the Zermelo - Fraenkel set theory Compactness theorem for generalized second-order language

Logic, Symbolic and mathematical.