Filter
Mängdlära
Filter
This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.
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 …
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are …
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in …
A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of …
Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for …
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory …
In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoé Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long …
This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest everyone from …
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. …