Logic's lost genius :

Logic's lost genius : the life of Gerhard Gentzen

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Menzler-Trott, Eckart
Μορφή:	Βιβλίο
Γλώσσα:	English German
Δημοσίευση:	Providence, RI : [London] : American Mathematical Society, London Mathematical Society, c2007.
Σειρά:	History of mathematics ; 33
Θέματα:	Gentzen Gerhard. Mathematicians > Germany > Biography. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

The genius of Euler :
Δημοσίευση: (2007)

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

Ramanujan's lost notebook
από: Andrews, George E. 1938-
Δημοσίευση: (2005)

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

Mathematical logic
από: Ebbinghaus, Heinz-Dieter 1939-
Δημοσίευση: (1984)

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

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

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

Systems of logic
από: Martin, Norman M.
Δημοσίευση: (1989)

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

Mathematical logic
από: Ponasse, Daniel
Δημοσίευση: (1973)

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

Logic for Mathematicians
από: Rosser, J. Barkley (John Barkley) 1907-
Δημοσίευση: (2008)

Logic with trees :
από: Howson, Colin
Δημοσίευση: (1997)

Symbolic logic :
από: Lee, Harold N. (Harold Newton), 1899-1990
Δημοσίευση: (1961)

Mathematical logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1981)

Symbolic logic
από: Lewis, Clarence Irving, 1883-1964
Δημοσίευση: (1959)

The language of logic
από: Freudenthal, Hans, 1905-1990
Δημοσίευση: (1966)

Notes on logic
από: Lyndon, Roger C.
Δημοσίευση: (1966)

Mathematical logic
από: Quine, W. V. (Willard Van Orman)
Δημοσίευση: (1940)

Logic for mathematicians
από: Rosser, J. Barkley (John Barkley), 1907-1989
Δημοσίευση: (1953)

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

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

Principles of mathematical logic
από: Hilbert, David, 1862-1943
Δημοσίευση: (1999)

Principles of mathematical logic
από: Hilbert, David, 1862-1943
Δημοσίευση: (1950)

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

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

What is mathematical logic?
Δημοσίευση: (1990)

Logic for information technology
από: Galton, Antony
Δημοσίευση: (1990)

Systems of formal logic
από: Hackstaff, L. H.
Δημοσίευση: (1966)

Introduction to Mathematical Logic
από: Church, Alonzo 1903-1995
Δημοσίευση: (1956)

The mathematics og logic :
από: Kaye, Richard (Richard W.)
Δημοσίευση: (2008)

Introduction to mathematical logic
από: Hodel, Richard E.
Δημοσίευση: (1995)

Introduction to mathematical logic
από: Mendelson, Elliott
Δημοσίευση: (1997)

Introduction to mathematical logic
από: Mendelson, Elliott
Δημοσίευση: (1987)

Introduction to mathematical logic :
από: Malitz, Jerome
Δημοσίευση: (1979)

An introduction to symbolic logic
από: Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Δημοσίευση: (1953)

Elements of symbolic logic
από: Reichenbach, Hans, 1891-1953
Δημοσίευση: (1966)

The elements of mathematical logic
από: Rosenbloom, Paul C.
Δημοσίευση: (1950)

Language logic and mathematics
από: Kilmister, C. W. (Clive William)
Δημοσίευση: (1967)