|
QA9 .D38 2013eb
|
Logicism and its philosophical legacy / |
1 |
|
QA9 .D69 1986
|
A first course in formal logic and its applications in computer science / |
1 |
|
QA9 .D7313 1988
|
Mathematical intuitionism : introduction to proof theory / |
1 |
|
QA9 .E2213 1984
|
Mathematical logic / |
1 |
|
QA9 .E2213 2021
|
Mathematical logic / |
1 |
|
QA9 .E345 2020
|
An Elementary Transition to Abstract Mathematics |
1 |
|
QA9 .F54
|
Intuitionistic logic, model theory and forcing. |
1 |
|
QA9 .F753
|
On the foundations of geometry and formal theories of arithmetic. |
1 |
|
QA9 .F85 1950
|
The foundations of arithmetic; a logico-mathematical enquiry into the concept of number. |
1 |
|
QA9 .F85 1961
|
Die Grundlagen der Arithmetik : |
1 |
|
QA 9 F85g 1962
|
Grundgesetze der Arithmetik; begriffsschriftlich abgeleitet, |
1 |
|
QA9 .G276 2010eb
|
Logique arithmétique : l'arithmétisation de la logique / |
1 |
|
QA9 .G33
|
The collected papers of Gerhard Gentzen. |
1 |
|
QA9 .G358 1996
|
Introduction to mathematical structures and proofs /
Introduction to Mathematical Structures and Proofs. |
2 |
|
QA9 .G44 2015e
|
Analogies and theories : formal models of reasoning / |
1 |
|
QA9 .G5313 1986
|
Collected works / |
1 |
|
QA9 .G59
|
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory, |
1 |
|
QA9 .G76 2007eb
|
Representation and productive ambiguity in mathematics and the sciences / |
1 |
|
QA9 .H293 1998
|
Logic as algebra / |
1 |
|
QA9 .H298
|
Logic for mathematicians / |
1 |