Philosophia Mathematica

Philosophia Mathematica

Detalles Bibliográficos
Formato:	Electrónico Revista
Idioma:	English
Publicado:	Oxford University Press
Subjects:	MathematicsPhilosophy of Mathematics and Logic
Acceso en liña:	Full text available on Oxford Academic Off-campus access

Títulos similares

Philosophia Mathematica

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

Mathematica Scandinavica

Compositio Mathematica

Philosophia Reformata

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

Symbolic logic /
por: Copi, Irving M.
Publicado: (1979)

The mathematica book /
por: Wolfram, Stephen
Publicado: (1999)

Logic, language, and meaning /
por: Gamut, L. T. F.
Publicado: (1991)

Philosophia

The Journal of Symbolic Logic

The Bulletin of Symbolic Logic

Getting started with Mathematica
Publicado: (2002)

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

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

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado: (1998)

Philosophia Africana

Carmina Philosophiae

An Introduction to Gödel's Theorems
por: Peter Smith
Publicado: (2013)

Programming logic and design : comprehensive /
por: Farrell, Joyce
Publicado: (2011)

Basics of logic /
por: Barker, Stephen Francis
Publicado: (1986)

Our logic for discussion and persuasion /
por: Ha, Byunghak
Publicado: (2000)

Logic Journal of the IGPL

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

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

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

On unification : works of Professor Sakhawat Hossain /
por: Hossain, Sakhawat
Publicado: (1970)

Introduction to logic /
por: Copi, Irving M.
Publicado: (1986)

Programming with Higher-Order Logic
por: Dale Miller, Gopalan Nadathur
Publicado: (2012)

An Introduction to Category Theory
por: Harold Simmons
Publicado: (2012)

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

Lambda Calculus with Types
por: Henk Barendregt, Wil Dekkers, Richard Statman
Publicado: (2013)

Persuasion is logic /
por: Hoon-tae, Jeong

Schaum's outlines discrete mathematics /
por: Lipschutz, Seymour
Publicado: (2010)

Journal of Commutative Algebra

Matematisk Tidsskrift. A

Math Horizons

The Mathematical Gazette

Mathematical Tables and Other Aids to Computation