How to prove it :

How to prove it : a structured approach

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Velleman, Daniel J.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge : Cambridge University Press, 1998
Θέματα:	Logic, Symbolic and mathematical. Mathematics.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

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

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

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

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

A course in mathematical logic
από: Bell, J. L. (John Lane)
Δημοσίευση: (1977)

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

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

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

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

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

Basic concepts of mathematics and logic
από: Gemignani, Michael C.
Δημοσίευση: (2004)

Logic for mathematics and computer science
από: Burris, Stanley
Δημοσίευση: (1998)

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)

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

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

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

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

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

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

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

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

Mathematical Logic for Computer Science
από: Ben-Ari, M. 1948-
Δημοσίευση: (1993)

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

A concise introduction to pure mathematics
από: Liebeck, M. W. (Martin W.) 1954-
Δημοσίευση: (2011)

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

Popular lectures on mathematical logic
από: Wang, Hao, 1921-
Δημοσίευση: (1993)

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

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

A concise introduction to mathematical logic
από: Rautenberg, Wolfgang
Δημοσίευση: (2006)

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

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

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

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

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