Philosophia Mathematica

Philosophia Mathematica

Xehetasun bibliografikoak
Formatua:	Baliabide elektronikoa Aldizkaria
Hizkuntza:	English
Argitaratua:	Oxford University Press
Gaiak:	MathematicsPhilosophy of Mathematics and Logic
Sarrera elektronikoa:	Full text available on Oxford Academic Off-campus access

Antzeko izenburuak

Philosophia Mathematica

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

Mathematica Scandinavica

Compositio Mathematica

Philosophia Reformata

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

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (1979)

The mathematica book /
nork: Wolfram, Stephen
Argitaratua: (1999)

Logic, language, and meaning /
nork: Gamut, L. T. F.
Argitaratua: (1991)

Philosophia

The Journal of Symbolic Logic

The Bulletin of Symbolic Logic

Getting started with Mathematica
Argitaratua: (2002)

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

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

Elements of the theory of computation /
nork: Lewis, Harry R.
Argitaratua: (1998)

Philosophia Africana

Carmina Philosophiae

An Introduction to Gödel's Theorems
nork: Peter Smith
Argitaratua: (2013)

Programming logic and design : comprehensive /
nork: Farrell, Joyce
Argitaratua: (2011)

Basics of logic /
nork: Barker, Stephen Francis
Argitaratua: (1986)

Our logic for discussion and persuasion /
nork: Ha, Byunghak
Argitaratua: (2000)

Logic Journal of the IGPL

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

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

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

On unification : works of Professor Sakhawat Hossain /
nork: Hossain, Sakhawat
Argitaratua: (1970)

Introduction to logic /
nork: Copi, Irving M.
Argitaratua: (1986)

Programming with Higher-Order Logic
nork: Dale Miller, Gopalan Nadathur
Argitaratua: (2012)

An Introduction to Category Theory
nork: Harold Simmons
Argitaratua: (2012)

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

Lambda Calculus with Types
nork: Henk Barendregt, Wil Dekkers, Richard Statman
Argitaratua: (2013)

Persuasion is logic /
nork: Hoon-tae, Jeong

Schaum's outlines discrete mathematics /
nork: Lipschutz, Seymour
Argitaratua: (2010)

Journal of Commutative Algebra

Matematisk Tidsskrift. A

Math Horizons

The Mathematical Gazette

Mathematical Tables and Other Aids to Computation