|
QA9 .A638 1986
|
An introduction to mathematical logic and type theory : to truth through proof / |
1 |
|
QA9 .A94 2004eb
|
Deflating existential consequence : a case for nominalism / |
1 |
|
QA9 .B25 1964
|
Philosophy of mathematics |
1 |
|
QA9 .B27
|
An algebraic introduction to mathematical logic / |
1 |
|
QA9 .B29
|
Admissible sets and structures : an approach to definability theory / |
1 |
|
QA9 .B32
|
Introduction to symbolic logic, |
1 |
|
QA9 .B36
|
Mathematical foundations of programming / |
1 |
|
QA9 .B3988 2011
|
Logical dynamics of information and interaction / |
1 |
|
QA9 .B56
|
The foundations of mathematics; a study in the philosophy of science. |
1 |
|
QA 9 B56m
|
Mathematical epistemology and psychology |
1 |
|
QA 9 B56ma
|
Mathematical thought; an introduction to the philosophy of mathematics |
1 |
|
QA9 .B6 1950
|
Paradoxes of the infinite. |
1 |
|
QA9 .C44
|
Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari. |
1 |
|
QA9 .C486 2017
|
Beyond infinity : an expedition to the outer limits of mathematics / |
1 |
|
QA9 .C4862 2015
|
How to bake π : an edible exploration of the mathematics of mathematics / |
1 |
|
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 |