-
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly ...
-
This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 20...
-
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in...
-
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly ...
-
Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated f...
-
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly ...
-
Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated f...
-
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...
- 1