QA9 .G59
|
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory, |
1 |
QA9 .G76 2007eb
|
Representation and productive ambiguity in mathematics and the sciences / |
1 |
QA9 .H293 1998
|
Logic as algebra / |
1 |
QA9 .H298
|
Logic for mathematicians / |
1 |
QA9 .H32
|
Handbook of mathematical logic / |
1 |
QA9 .H396 2010eb
|
Diamond : a paradox logic / |
1 |
QA9 .H397 2018
|
Varieties of continua : from regions to points and back / |
1 |
QA 9 + H51
|
Logical systems containing only a finite number of symbols. |
1 |
QA9 .H547 1995
|
An introduction to mathematical logic / |
1 |
QA9 .H57 2022
|
Hiroakira Ono on substructural logic / |
1 |
QA9 .H66 2011eb
|
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein / |
1 |
QA9 .H813 2003
|
Philosophy of arithmetic : psychological and logical investigations with supplementary texts from 1887-1901 / |
1 |
QA9 .I46 2011
|
Infinity : New Research Frontiers. |
1 |
QA9 .I612
|
Problems in the philosophy of mathematics. |
1 |
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 |