|
QA9 .K92
|
Elements of mathematical logic. (Model theory) |
1 |
|
QA9 .L32 2007eb
|
The mathematics of logic : a guide to completeness theorems and their applications / |
1 |
|
QA9 .L6194 2017
|
Absolute continuity under time shift of trajectories and related stochastic calculus / |
1 |
|
QA9 .L624 1996eb
|
Logical reasoning with diagrams / |
1 |
|
QA9 .L832
|
Logic and foundations of mathematics / |
1 |
|
QA9 .M24 1993
|
Duality and definability in first order logic / |
1 |
|
QA9 .M295 2010
|
The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / |
1 |
|
QA9 .M29613
|
A course in mathematical logic / |
1 |
|
QA9 .M29613 2010
|
A course in mathematical logic for mathematicians / |
1 |
|
QA9 .M316 1987
|
To infinity and beyond : a cultural history of the infinite / |
1 |
|
QA9 .M355 1993eb
|
Duality and definability in first order logic / |
1 |
|
QA9 .M398 2005
|
Euclid in the rainforest : discovering universal truth in logic and math / |
1 |
|
QA9 .M53 1964
|
Introduction to mathematical logic. |
1 |
|
QA9 .M68
|
Mathematical logic / |
1 |
|
QA9 .M7554
|
Foundational studies : selected works / |
1 |
|
QA9 .N1 1958
|
Gödel's proof, |
1 |
|
QA9 .P699 2010eb
|
Conditional and preferential logics : proof methods and theorem proving / |
1 |
|
QA9 .P7
|
Mathematics and plausible reasoning. |
1 |
|
QA9 .P87 2004eb
|
Reductive logic and proof-search : proof theory, semantics, and control / |
1 |
|
QA9 .Q54 1990
|
The logic of sequences : a generalization of Principia mathematica / |
1 |