A K Peters/CRC Press Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

Logic Colloquium '99: Lecture Notes in Logic 17

A K Peters/CRC Press

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004: 29 (Lecture Notes in Logic, Series Number 29)

Cambridge University Press

Logic Colloquium '90: ASL Summer Meeting in Helsinki: 2 (Lecture Notes in Logic, Series Number 2)

Cambridge University Press

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings: 2142 (Lecture Notes in Computer Science, 2142)

Springer

Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library)

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)

Cambridge University Press

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25

CRC Press

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

Logic and General Theory of Science: Lectures 1917/18 With Supplementary Texts from the First Version of 1910/11: 15 (Husserliana: Edmund Husserl – Collected Works, 15)

Springer

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

A K Peters/CRC Press

Mathematical Developments Arising from Hilbert Problems (Proceedings of Symposia in Pure Mathematics)

Brand: American Mathematical Society

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01) (Discrete Mathematics and Theoretical Computer Science)

Springer

Logic and the Modalities in the Twentieth Century (Volume 7) (Handbook of the History of Logic, Volume 7)

North Holland

Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784)

Springer

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Springer

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

Springer