Home > Mathematics > Sub-discipline index > Logic / Computer Science / Mathematical Philosophy > Author index
Subject: Mathematics

Author Index > Logic / Computer Science / Mathematical Philosophy > ALL


A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   ALL

  Set Theory - Boolean-Valued Models and Independence Proofs
John L. Bell, Third Edition, 2005
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics
Laura Crosilla (Editor), Peter Schuster (Editor), 2005
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  Interpolation and Definability - Modal and Intuitionistic Logics
Dov M. Gabbay, Larisa Maksimova, 2005
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  The Structure of Models of Peano Arithmetic
Roman Kossak, James Schmerl, 2006
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  Interpolation and Definability - Modal and Intuitionistic Logics
Dov M. Gabbay, Larisa Maksimova, 2005
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  Reductive Logic and Proof-search - Proof Theory, Semantics, and Control
David J. Pym, Eike Ritter, 2004
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  Reductive Logic and Proof-search - Proof Theory, Semantics, and Control
David J. Pym, Eike Ritter, 2004
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  The Structure of Models of Peano Arithmetic
Roman Kossak, James Schmerl, 2006
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics
Laura Crosilla (Editor), Peter Schuster (Editor), 2005
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

  Bayesian Nets and Causality - Philosophical and Computational Foundations
Jon Williamson, 2004
If there is no Full Text link available you do not have access to the full text of this item. You do however have free access to the abstracts and keywords.    Click here for information regarding your access rights.

A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   ALL
Privacy Policy and Legal Notice © Oxford University Press, . All rights reserved.
Return to Top