|
QA9.A1 W67 2023eb
|
Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / |
1 |
|
QA9 .A383 2023
|
Advances in applied logics : applications of logic for philosophy, mathematics and information technology / |
1 |
|
QA9 .A3875 2019
|
Advances in experimental philosophy of logic and mathematics / |
1 |
|
QA9 .A39
|
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / |
1 |
|
QA9 .A634 1975
|
Entailment : the logic of relevance and necessity / |
1 |
|
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 |