Logic Colloquium '03 : Lecture Notes in Logic 24

ISBN-13: 9781568812946 / Angielski / Miękka / 2006 / 417 str.

Viggo Stoltenberg-Hansen; Jouko Vaananen

Opis

Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research articles from some of the world's preeminent logicians. It also covers research topics in almost all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Philosophy.

O autorze

Viggo Stoltenberg-Hansen , Jouko Väänänen