Listing 1 - 10 of 5515 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Provability, Computability and Reflection
Choose an application
Provability, Computability and Reflection
Choose an application
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 twenty-seventh publication in the Lecture Notes in Logic series, contains the proceedings of two conferences: the European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany in August, 2002. This compilation of articles from some of the world's preeminent logicians spans all areas of mathematical logic, including philosophical logic and computer science logic. It contains expanded versions of a number of invited plenary talks and tutorials that will be of interest to graduate students and researchers in the field of mathematical logic.
Choose an application
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 twenty-fourth publication in the Lecture Notes in Logic series, contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, in August 2003. These articles include an extended tutorial on generalizing finite model theory, as well as seventeen original research articles spanning all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.
Choose an application
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 twelfth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association of Symbolic Logic, held at the University of the Basque Country, San Sebastian in July 1996. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic. The volume includes eleven papers from pre-eminent researchers in mathematical logic.
Choose an application
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 nineteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Paris, France in July 2000. This meeting marked the centennial anniversary of Hilbert's famous lecture and was held in the same hall at La Sorbonne where Hilbert presented his problems. Three long articles, based on tutorials given at the meeting, present accessible expositions of developing research in model theory, computability, and set theory. The eleven subsequent papers present work from the research frontier in all areas of mathematical logic.
Choose an application
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 thirteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic held at the University of Economics in Prague, August 9-15, 1988. It includes surveys and research from preeminent logicians. The papers in this volume range over all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. This book will be of interest to all students and researchers in mathematical logic.
Choose an application
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 seventeenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in August, 1999. It includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in geometric model theory and the descriptive set theory of group actions. The other articles cover current research topics in all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy.
Listing 1 - 10 of 5515 | << page >> |
Sort by
|