quantification in nonclassical logic /
| |
quantification in nonclassical logic /
|
|
|
abstract set theory
|
constructive order types.
| |
constructive order types.
|
logic, methodology, and philosophy o...
| |
logic, methodology, and philosophy of science, vii :
|
handbook of recursive mathematics
| |
handbook of recursive mathematics
|
categorical logic and type theory
| |
categorical logic and type theory
|
tools and techniques in modal logic /
| |
tools and techniques in modal logic /
|
model theory for infinitary logic
| |
model theory for infinitary logic
|
harvey friedman's research on the fo...
| |
harvey friedman's research on the foundations of mathematics /
|
selected papers on automath /
| |
selected papers on automath /
|
|
|
theory of relations
|
logic colloquium '69.proceedings of ...
| |
logic colloquium '69.proceedings of the summer school and colloquium in ma
|
logic, methodology and philosophy of...
| |
logic, methodology and philosophy of science iii;
|
|
|
handbook of proof theory
|
|
|
logic colloquium '88 :
|
handbook of recursive mathematics /
| |
handbook of recursive mathematics /
|
|
|
theory of semisets
|
|
|
logic colloquium '87 :
|
|
|
logic colloquium '86 :
|
constructivism in mathematics :
| |
constructivism in mathematics :
|