|
QA9 .C6 1946
|
The common sense of the exact sciences, |
1 |
|
QA9 .C67
|
Set theory and the continuum hypothesis |
1 |
|
QA9 .C7423 2015
|
Logic and Discrete Mathematics A Concise Introduction, Solutions Manual.
Logic and Discrete Mathematics A Concise Introduction. |
2 |
|
QA 9 C9c
|
Combinatory logic |
1 |
|
QA9 .D12 1980
|
Logic and structure / |
1 |
|
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 |