Home > Mathematics > Sub-discipline index > Logic / Computer Science / Mathematical Philosophy > Title index
Subject: Mathematics
Title Index > Logic / Computer Science / Mathematical Philosophy > ALL
Bayesian Nets and Causality - Philosophical and Computational Foundations
Jon Williamson,
2004
From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics
Laura Crosilla (Editor),
Peter Schuster (Editor),
2005
Interpolation and Definability - Modal and Intuitionistic Logics
Dov M. Gabbay,
Larisa Maksimova,
2005
Reductive Logic and Proof-search - Proof Theory, Semantics, and Control
David J. Pym,
Eike Ritter,
2004
Set Theory - Boolean-Valued Models and Independence Proofs
John L. Bell,
Third Edition,
2005
Roman Kossak,
James Schmerl,
2006
