Opening book details…
Can I read Logic Colloquium '98: Lecture Notes in Logic #13 (Lecture Notes in Logic, 13) on EtoBox?
Logic Colloquium '98: Lecture Notes in Logic #13 (Lecture Notes in Logic, 13) by Samuel R Buss; Petr Hájek; Pavel Pudlák; Association for Symbolic Logic is a mathematics available to read on EtoBox.
What is Logic Colloquium '98: Lecture Notes in Logic #13 (Lecture Notes in Logic, 13) about?
A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy. This book will be of interest to students and researchers of mathematical logic.
Who reads Logic Colloquium '98: Lecture Notes in Logic #13 (Lecture Notes in Logic, 13)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Samuel R Buss; Petr Hájek; Pavel Pudlák; Association for Symbolic Logic
- Publisher
- A K Peters/CRC Press
- Published
- 2000
- Language
- EN
- ISBN
- 9781568811130
- Category
- mathematics
- Subjects
- Science, Mathematics, Stem
- Updated
- 2026-03-25
Other editions & translations
More by Samuel R Buss; Petr Hájek; Pavel Pudlák; Association for Symbolic Logic
Browse all works by Samuel R Buss; Petr Hájek; Pavel Pudlák; Association for Symbolic Logic
Similar books
- Logic Colloquium 2006 (Lecture Notes in Logic, Series Number 32) — S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (2009)
- Logic Colloquium '90: Asl Summer Meeting In Helsinki (lecture Notes In Logic) — Juha M.R. Oikkonen, Jouko Väänänen (1994)
- Logic Colloquium '95: Proceedings Of The Annual European Summer Meeting Of The Association Of Symbolic Logic, Held In Haifa, Israel, August 9-18, 1995. (lecture Notes In Logic) — Johann A Makowsky; Elena V Ravve; Association for Symbolic Logic.; Project Euclid (1998)
- Logic Colloquium 2007 — Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan (2010)
- Logic and Algebraic Structures in Quantum Computing (Lecture Notes in Logic, Series Number 45) — Chubb, Jennifer; Eskandarian, Ali; Harizanov, Valentina S (2016)
- Logic Colloquium `96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996 (Lecture Notes in Logic , Vol 12) — Jesus M. Larrazabal; Daniel Lascar; Grigori Mints (1999)