Tracking reason proof, consequence, and truth /

Concepts of proof in mathematics, philosophy, and computer science /
Опубликовано: (2016)

The nuts and bolts of proofs
по: Cupillari, Antonella
Опубликовано: (2005)

Ways of proof theory
по: Schindler, Ralf
Опубликовано: (2010)

The nuts and bolts of proofs
по: Cupillari, Antonella
Опубликовано: (2005)

Ways of proof theory
по: Schindler, Ralf
Опубликовано: (2010)

Charming proofs a journey into elegant mathematics /
по: Alsina, Claudi
Опубликовано: (2010)

Charming proofs a journey into elegant mathematics /
по: Alsina, Claudi
Опубликовано: (2010)

Recursion theory for metamathematics
по: Smullyan, Raymond M.
Опубликовано: (1993)

Mathematical logic
по: Tourlakis, George J.
Опубликовано: (2003)

Institution-independent model theory
по: Diaconescu, Răzvan
Опубликовано: (2008)

Recursion theory for metamathematics
по: Smullyan, Raymond M.
Опубликовано: (1993)

Institution-independent model theory
по: Diaconescu, Răzvan
Опубликовано: (2008)

Mathematical logic
по: Tourlakis, George J.
Опубликовано: (2003)

Logical reasoning with diagrams
Опубликовано: (1996)

Logical reasoning with diagrams
Опубликовано: (1996)

Perspectives in logic logical foundations of proof complexity /
по: Cook, Stephen, 1948-
Опубликовано: (2010)

Perspectives in logic logical foundations of proof complexity /
по: Cook, Stephen, 1948-
Опубликовано: (2010)

Logic for concurrency and synchronisation
Опубликовано: (2003)

Logic for concurrency and synchronisation
Опубликовано: (2003)

Infinity and the mind : the science and philosophy of the infinite /
по: Rucker, Rudy
Опубликовано: (1982)

Infinity and the mind : the science and philosophy of the infinite /
по: Rucker, Rudy
Опубликовано: (1982)

Logical dynamics of information and interaction
по: Benthem, J. F. A. K. van, 1949-
Опубликовано: (2011)

Mathematical logic
по: Chiswell, Ian, 1948-
Опубликовано: (2007)

Mathematical logic in the 20th century
Опубликовано: (2003)

Mathematical logic in the 20th century
Опубликовано: (2003)

Mathematical logic
по: Chiswell, Ian, 1948-
Опубликовано: (2007)

Logical dynamics of information and interaction
по: Benthem, J. F. A. K. van, 1949-
Опубликовано: (2011)

Foundation of abstract mathematics /
по: Kurtz, David C.
Опубликовано: (1992)

In the light of logic
по: Feferman, Solomon
Опубликовано: (1998)

Publications 1929-1936 /
по: Gödel, Kurt
Опубликовано: (1986)

Foundations without foundationalism a case for second-order logic.
по: Shapiro, Stewart, 1951-
Опубликовано: (2000)

Foundation of abstract mathematics /
по: Kurtz, David C.
Опубликовано: (1992)

In the light of logic
по: Feferman, Solomon
Опубликовано: (1998)

Publications 1929-1936 /
по: Gödel, Kurt
Опубликовано: (1986)

Foundations without foundationalism a case for second-order logic.
по: Shapiro, Stewart, 1951-
Опубликовано: (2000)

Memoirs of a proof theorist Gödel and other logicians /
по: Takeuti, Gaisi, 1926-
Опубликовано: (2003)