|
QA9 .J44
|
Lectures in set theory, with particular emphasis on the method of forcing |
1 |
|
QA9 .K23
|
A new approach to logic / |
1 |
|
QA9 .K27
|
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers. |
1 |
|
QA9 .K38 2013eb
|
Distilling ideas : an introduction to mathematical thinking / |
1 |
|
QA9 .K6 1952
|
Introduction to metamathematics. |
1 |
|
QA 9 K6m
|
Mathematical logic. |
1 |
|
QA9 .K89
|
Mathematik, Logik und Erfahrung. |
1 |
|
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 |