Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák.
Material type: TextSeries: Lecture notes in logic ; 13.Publisher: Cambridge : Cambridge University Press, 2016Description: 1 online resource (xv, 541 pages) : digital, PDF file(s)Content type:- text
- computer
- online resource
- 9781316756140 (ebook)
- 511.3 23
- QA9.A1 L64 1998
Title from publisher's bibliographic system (viewed on 14 Apr 2017).
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.
There are no comments on this title.