anne-richard
» » Logic Colloquium '99: Lecture Notes in Logic 17

Download Logic Colloquium '99: Lecture Notes in Logic 17 epub

by Jan Van Eijck,Vincent Van Oostrom,Albert Visser




A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 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 two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory, computability theory, and philosophy.
Download Logic Colloquium '99: Lecture Notes in Logic 17 epub
ISBN: 1568811993
ISBN13: 978-1568811994
Category: Science
Subcategory: Mathematics
Author: Jan Van Eijck,Vincent Van Oostrom,Albert Visser
Language: English
Publisher: A K Peters/CRC Press (July 8, 2004)
Pages: 230 pages
ePUB size: 1981 kb
FB2 size: 1929 kb
Rating: 4.6
Votes: 411
Other Formats: mbr docx rtf doc