Proof in geometry

Proof in geometry

Εμφάνιση άλλων εκδόσεων (1)

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Fetisov, A. I.
Μορφή:	Βιβλίο
Γλώσσα:	English Russian
Δημοσίευση:	Moscow : Mir Publishers, c1978
Σειρά:	Little mathematics library
Θέματα:	Axioms. Logic, Symbolic and mathematical. Fallacies (Logic) Geometry.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Proof in geometry
από: Fetisov, A. I.
Δημοσίευση: (1963)

Mistakes in geometric proofs
από: Dubnov, IA S. (IAkov Semenovich), 1887-1957
Δημοσίευση: (1963)

Fallacies in mathematics
από: Maxwell, E. A. (Edwin Arthur)
Δημοσίευση: (1961)

The axiomatic method :
από: Lightstone, A. H.
Δημοσίευση: (1964)

Axiomatics
από: Blanche, Robert
Δημοσίευση: (1962)

L'axiomatique
από: Blanche, Robert
Δημοσίευση: (1990)

L' axiomatique
από: Blanche, Robert
Δημοσίευση: (1970)

Αξιωματική μέθοδος
από: Blanche, Robert
Δημοσίευση: (1970)

Proofs and refutations :
από: Lakatos, Imre, 1922-1974
Δημοσίευση: (1987)

The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms od Set Theory
από: Gödel, Kurt
Δημοσίευση: (1993)

Introduction to mathematical proofs :
από: Roberts, Charles E.
Δημοσίευση: (2015)

Proof, logic, and conjecture :
από: Wolf, Robert S.
Δημοσίευση: (1998)

Axiomatic geometry
από: Lee, John M. 1950-
Δημοσίευση: (2013)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

A course in mathematical logic
από: Manin, IU. I.
Δημοσίευση: (1977)

From Frege to Godel :
από: Van Heijenoort, Jean 1912-
Δημοσίευση: (1967)

Introduction to elementary mathematical logic
από: Stolyar, A. A. (Abram Aronovich)
Δημοσίευση: (1970)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Du point de vue logique :
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (2003)

Logique moderne
από: Grize, Jean-Blaise
Δημοσίευση: (1969)

Selected topics in algebra :
από: Bucur, Ionel 1930-1976
Δημοσίευση: (1984)

Introduction to elementary mathematical logic
από: Stolyar, A. A. (Abram Aronovich)
Δημοσίευση: (1983)

A primer of formal logic
από: Cooley, John C. (John Cleveland), 1903-
Δημοσίευση: (1942)

Unified Logic :
από: Bollinger, Jesse
Δημοσίευση: (2018)

Sur les algebres de Hilbert
από: Diego, A. (Antonio)
Δημοσίευση: (1966)

Logic for Mathematicians
από: Hamilton, A. G. 1943-
Δημοσίευση: (1990)

Quantification theory
από: Faris, J. A. (John Acheson)
Δημοσίευση: (1964)

History of mathematical logic from Leibniz to Peano
από: Stiazhkin, N. I.
Δημοσίευση: (1969)

Introduction a la logique mathematique
από: Novikov, P. S. (Petr Sergeevich)
Δημοσίευση: (1964)

Temporal logic :
από: Ohrstrom, Peter
Δημοσίευση: (1995)

First order mathematical logic
από: Μάργαρης, Άγγελος
Δημοσίευση: (1990)

Algebre et logique
από: Boole, George, 1815-1864
Δημοσίευση: (1962)

A mathematical introduction to logic
από: Enderton, Herbert B.
Δημοσίευση: (1972)

Logic and structure
από: Dalen, D. van (Dirk) 1932-
Δημοσίευση: (2004)

Course of Mathematical Logic
από: Fraisse, Roland
Δημοσίευση: (1974)

Introduction to mathematical logic
από: Church, Alonzo 1903-1995
Δημοσίευση: (1996)

Logic of mathematics :
από: Adamowicz, Zofia
Δημοσίευση: (1997)

Collected works
από: Gödel, Kurt
Δημοσίευση: (1986)