product iamge

Logic colloquium '99: lecture notes in logic 17

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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  Read more...

Abstract: 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

Author(s): Oostrom, Vincent van; Van Eijck, Jan; Visser, Albert (eds.)
Series: Springer Lecture notes in logic 17
Edition: First edition
Publisher: A K Peters/CRC Press
Year: 2004

Language: English
Pages: 230
Tags: Logic, Symbolic and mathematical -- Congresses.;Logic, Symbolic and mathematical.

Content: Chapter SURVEY ARTICLES --
chapter RESEARCH ARTICLES --
chapter Pe{x),y,s• Since, for every.y, WojS(x)W\\yS( <
iex 7, there is numbersy.