Lanean...

QR Kodea

Principia mathematica. V.2 .- 2nd ed.

Xehetasun bibliografikoak
Egile nagusia:	Whitehead, Alfred North
Beste egile batzuk:	Russell, Bertrand
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Cambridge, University Press, 1927.
Edizioa:	2nd ed.
Gaiak:	Mathematics. Mathematics > Philosophy. Logic, Symbolic and mathematical.

Antzeko izenburuak

Principia mathematica. V. 1.- 2nd ed.
nork: Whitehead, Alfred North
Argitaratua: (1927)

Principia mathematica. V 3.- 2nd ed.
nork: Whitehead, Alfred North
Argitaratua: (1927)

Principia mathematica, Vol.2
nork: Whitehead, Alfred North
Argitaratua: (1963)

Principia mathematica, Vol.1
nork: Whitehead, Alfred North
Argitaratua: (1963)

Principia mathematica, Vol.3
nork: Whitehead, Alfred North
Argitaratua: (1963)

The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition /
nork: Linsky, Bernard
Argitaratua: (2011)

Principia mathematica 3v /
nork: Whitehead, Alfred North
Argitaratua: (1963)

Grundlagen der Mathematik.v.2
nork: Hilbert, David
Argitaratua: (1970)

Concise introduction to pure mathematics.- 3rd ed. /
nork: Liebeck, Martin
Argitaratua: (2011)

Philosophiac naturalis principia mathematica
nork: Koyre, Alexandre

Philosophiac naturalis principia mathematica
nork: Koyre, Alexandre

Mathematical logic /
nork: Kleene, Stephen Cole
Argitaratua: (2002)

Proofs and refutations : the logic of mathematical discovery /
nork: Lakatos, Imre
Argitaratua: (1976)

Profile of mathematical logic
nork: Delong, Horward
Argitaratua: (1970)

Classical theory of first order logic
nork: Pampapathy Rao, A; Author
Argitaratua: (1970)

Classical theory of first order logic
nork: Pampapathy Rao, A; Author
Argitaratua: (1970)

Logic collequium 2007
nork: Francoise Delon (ed.)
Argitaratua: (2010)

Logic and knowledge : essays, 1901-1950 /
nork: Russell, Bertrand
Argitaratua: (1956)

A concise introduction to pure mathematics /
nork: Liebeck, M. W.
Argitaratua: (2016)

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

Group theory and its applications to chemistry /
nork: Raman,, K.V
Argitaratua: (2003)

Introduction to language and the theory of computation /
nork: John,, C.Martin
Argitaratua: (2003)

Introduction to formal languages and automata /
nork: Linz,, Peter
Argitaratua: (2002)

A transition to mathematics with proofs /
nork: Cullinane, Michael J.
Argitaratua: (2013)

Symbolic logic
nork: Copi, Irving M
Argitaratua: (1997)

Discrete mathematics: for computer scientists /
nork: Truss,, John
Argitaratua: (2000)

Mathematical logic for computer science /
Argitaratua: (2008)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (2010)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (1964)

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

Introduction to symbolic logic /
nork: Basson, A. H., et al.
Argitaratua: (1976)

Introduction to symbolic logic /
nork: Carney, James D.
Argitaratua: (1970)

Introduction to symbolic logic /
nork: Basson, A. H., et al.
Argitaratua: (1976)

A precis of mathematical logic /
nork: Bochenski, Joseph M.
Argitaratua: (1959)

Foundations of the logical theory of scientific knowledge (complex logic) /
nork: Zinoviev, Aleksandr
Argitaratua: (1973)

Course of mathematical logic /
nork: Fraïssé, Roland
Argitaratua: (1973)

An outline of mathematical logic : fundamental results and notions explained with all details /
nork: Grzegorczyk, Andrzej
Argitaratua: (1974)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
nork: Beth, Evert W.
Argitaratua: (1962)

A profile of mathematical logic /
nork: DeLong, Howard
Argitaratua: (1970)

Papers in philosophical logic /
nork: Lewis, David K.
Argitaratua: (1998)