Philosophia Mathematica

Philosophia Mathematica

Détails bibliographiques
Format:	Électronique Revue
Langue:	English
Publié:	Oxford University Press
Sujets:	MathematicsPhilosophy of Mathematics and Logic
Accès en ligne:	Full text available on Oxford Academic Off-campus access

Documents similaires

Philosophia Mathematica

How to prove it : a structured approach /
par: Velleman, Daniel J.
Publié: (2006)

Mathematica Scandinavica

Compositio Mathematica

Philosophia Reformata

Discrete mathematics and its applications : with combinatorics and graph theory /
par: Rosen, Kenneth H.
Publié: (2007)

Symbolic logic /
par: Copi, Irving M.
Publié: (1979)

The mathematica book /
par: Wolfram, Stephen
Publié: (1999)

Philosophia

Logic, language, and meaning /
par: Gamut, L. T. F.
Publié: (1991)

Getting started with Mathematica
Publié: (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 /
Publié: (1999)

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

Elements of the theory of computation /
par: Lewis, Harry R.
Publié: (1998)

Philosophia Africana

Carmina Philosophiae

An Introduction to Gödel's Theorems
par: Peter Smith
Publié: (2013)

Programming logic and design : comprehensive /
par: Farrell, Joyce
Publié: (2011)

Basics of logic /
par: Barker, Stephen Francis
Publié: (1986)

Our logic for discussion and persuasion /
par: Ha, Byunghak
Publié: (2000)

Logic Journal of the IGPL

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning /
par: Coecke, Bob
Publié: (2017)

Digital designing with programmable logic devices /
par: Carter, John W., 1951-
Publié: (1997)

On unification : works of Professor Sakhawat Hossain /
par: Hossain, Sakhawat
Publié: (1970)

Impossibility : the limits of science and the science of limits /
par: Barrow, John D., 1952-
Publié: (1999)

Introduction to logic /
par: Copi, Irving M.
Publié: (1986)

Programming with Higher-Order Logic
par: Dale Miller, Gopalan Nadathur
Publié: (2012)

An Introduction to Category Theory
par: Harold Simmons
Publié: (2012)

Logic and computer design fundamentals /
par: Mano, M. Morris, 1927-
Publié: (2000)

Lambda Calculus with Types
par: Henk Barendregt, Wil Dekkers, Richard Statman
Publié: (2013)

Persuasion is logic /
par: Hoon-tae, Jeong

Journal of Commutative Algebra

Matematisk Tidsskrift. A

Math Horizons

The Mathematical Gazette

Mathematical Tables and Other Aids to Computation

Mathematics Magazine