Buss / Hájek / Pudlák Logic Colloquium '98

Erscheinungsjahr 2020
ISBN: 978-1-108-61848-9
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, Band 13, 0 Seiten

Reihe: Lecture Notes in Logic

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.

Autoren/Hrsg.

Buss, Samuel R.

Hájek, Petr

Pudlák, Pavel

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Über Autor(innen)

Pudlák, Pavel
Pavel Pudlák works in the Mathematics Institute at the Academy of Sciences of the Czech Republic, Prague.

Buss, Samuel R.
Samuel R. Buss works in the Department of Mathematics at the University of California, San Diego.

Hájek, Petr
Petr Hájek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague.