Philosophia Mathematica

Philosophia Mathematica

Dettagli Bibliografici
Natura:	Elettronico Periodico
Lingua:	English
Pubblicazione:	Oxford University Press
Soggetti:	MathematicsPhilosophy of Mathematics and Logic
Accesso online:	Full text available on Oxford Academic Off-campus access

Documenti analoghi

Philosophia Mathematica

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

Mathematica Scandinavica

Compositio Mathematica

Philosophia Reformata

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

Symbolic logic /
di: Copi, Irving M.
Pubblicazione: (1979)

The mathematica book /
di: Wolfram, Stephen
Pubblicazione: (1999)

Logic, language, and meaning /
di: Gamut, L. T. F.
Pubblicazione: (1991)

Philosophia

The Journal of Symbolic Logic

The Bulletin of Symbolic Logic

Getting started with Mathematica
Pubblicazione: (2002)

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

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

Elements of the theory of computation /
di: Lewis, Harry R.
Pubblicazione: (1998)

Philosophia Africana

Carmina Philosophiae

An Introduction to Gödel's Theorems
di: Peter Smith
Pubblicazione: (2013)

Programming logic and design : comprehensive /
di: Farrell, Joyce
Pubblicazione: (2011)

Basics of logic /
di: Barker, Stephen Francis
Pubblicazione: (1986)

Our logic for discussion and persuasion /
di: Ha, Byunghak
Pubblicazione: (2000)

Logic Journal of the IGPL

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

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

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

On unification : works of Professor Sakhawat Hossain /
di: Hossain, Sakhawat
Pubblicazione: (1970)

Introduction to logic /
di: Copi, Irving M.
Pubblicazione: (1986)

Programming with Higher-Order Logic
di: Dale Miller, Gopalan Nadathur
Pubblicazione: (2012)

An Introduction to Category Theory
di: Harold Simmons
Pubblicazione: (2012)

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

Lambda Calculus with Types
di: Henk Barendregt, Wil Dekkers, Richard Statman
Pubblicazione: (2013)

Persuasion is logic /
di: Hoon-tae, Jeong

Schaum's outlines discrete mathematics /
di: Lipschutz, Seymour
Pubblicazione: (2010)

Journal of Commutative Algebra

Matematisk Tidsskrift. A

Math Horizons

The Mathematical Gazette

Mathematical Tables and Other Aids to Computation