Philosophia Mathematica

Philosophia Mathematica

Bibliographic Details
Format:	Electronic Journal
Language:	English
Published:	Oxford University Press
Subjects:	MathematicsPhilosophy of Mathematics and Logic
Online Access:	Full text available on Oxford Academic Off-campus access

Similar Items

Philosophia Mathematica

How to prove it : a structured approach /
by: Velleman, Daniel J.
Published: (2006)

Mathematica Scandinavica

Compositio Mathematica

Philosophia Reformata

Discrete mathematics and its applications : with combinatorics and graph theory /
by: Rosen, Kenneth H.
Published: (2007)

Symbolic logic /
by: Copi, Irving M.
Published: (1979)

The mathematica book /
by: Wolfram, Stephen
Published: (1999)

Philosophia

Logic, language, and meaning /
by: Gamut, L. T. F.
Published: (1991)

Getting started with Mathematica
Published: (2002)

The Journal of Symbolic Logic

The Bulletin of Symbolic Logic

Mathematica 4 standard add-on packages : the official guide to over a thousand additional functions for use with Mathematica 4 /
Published: (1999)

Kurt Gödel and the Foundations of Mathematics
by: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Published: (2011)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1998)

Philosophia Africana

Carmina Philosophiae

An Introduction to Gödel's Theorems
by: Peter Smith
Published: (2013)

Programming logic and design : comprehensive /
by: Farrell, Joyce
Published: (2011)

Basics of logic /
by: Barker, Stephen Francis
Published: (1986)

Our logic for discussion and persuasion /
by: Ha, Byunghak
Published: (2000)

Logic Journal of the IGPL

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning /
by: Coecke, Bob
Published: (2017)

Digital designing with programmable logic devices /
by: Carter, John W., 1951-
Published: (1997)

On unification : works of Professor Sakhawat Hossain /
by: Hossain, Sakhawat
Published: (1970)

Impossibility : the limits of science and the science of limits /
by: Barrow, John D., 1952-
Published: (1999)

Introduction to logic /
by: Copi, Irving M.
Published: (1986)

Programming with Higher-Order Logic
by: Dale Miller, Gopalan Nadathur
Published: (2012)

An Introduction to Category Theory
by: Harold Simmons
Published: (2012)

Logic and computer design fundamentals /
by: Mano, M. Morris, 1927-
Published: (2000)

Lambda Calculus with Types
by: Henk Barendregt, Wil Dekkers, Richard Statman
Published: (2013)

Persuasion is logic /
by: Hoon-tae, Jeong

Journal of Commutative Algebra

Matematisk Tidsskrift. A

Math Horizons

The Mathematical Gazette

Mathematical Tables and Other Aids to Computation

Mathematics Magazine