Llwytho...

Côd QR

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

Manylion Llyfryddiaeth
Prif Awdur:	Whitehead, Alfred North
Awduron Eraill:	Russell, Bertrand
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Cambridge, University Press, 1927.
Pynciau:	Mathematics. Mathematics > Philosophy. Logic, Symbolic and mathematical.

Eitemau Tebyg

Principia mathematica. V.2 .- 2nd ed.
gan: Whitehead, Alfred North
Cyhoeddwyd: (1927)

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

Principia mathematica, Vol.1
gan: Whitehead, Alfred North
Cyhoeddwyd: (1963)

Principia mathematica, Vol.2
gan: Whitehead, Alfred North
Cyhoeddwyd: (1963)

Principia mathematica, Vol.3
gan: Whitehead, Alfred North
Cyhoeddwyd: (1963)

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

Principia mathematica 3v /
gan: Whitehead, Alfred North
Cyhoeddwyd: (1963)

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

Philosophiac naturalis principia mathematica
gan: Koyre, Alexandre

Philosophiac naturalis principia mathematica
gan: Koyre, Alexandre

Mathematical logic /
gan: Kleene, Stephen Cole
Cyhoeddwyd: (2002)

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

Profile of mathematical logic
gan: Delong, Horward
Cyhoeddwyd: (1970)

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

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

Logic collequium 2007
gan: Francoise Delon (ed.)
Cyhoeddwyd: (2010)

Grundlagen der Mathematik.v.1
gan: Hilbert, David
Cyhoeddwyd: (1968)

Grundlagen der Mathematik.v.2
gan: Hilbert, David
Cyhoeddwyd: (1970)

Logic and knowledge : essays, 1901-1950 /
gan: Russell, Bertrand
Cyhoeddwyd: (1956)

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

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

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

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

Introduction to formal languages and automata /
gan: Linz,, Peter
Cyhoeddwyd: (2002)

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

Symbolic logic
gan: Copi, Irving M
Cyhoeddwyd: (1997)

Discrete mathematics: for computer scientists /
gan: Truss,, John
Cyhoeddwyd: (2000)

Mathematical logic for computer science /
Cyhoeddwyd: (2008)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1973)

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

Introduction to symbolic logic /
gan: Carney, James D.
Cyhoeddwyd: (1970)

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

A precis of mathematical logic /
gan: Bochenski, Joseph M.
Cyhoeddwyd: (1959)

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

Course of mathematical logic /
gan: Fraïssé, Roland
Cyhoeddwyd: (1973)

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

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

A profile of mathematical logic /
gan: DeLong, Howard
Cyhoeddwyd: (1970)