che-chandler.de

Proceedings Of The 10th Asian Logic Conference

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...

PROC OF THE 6TH ASIAN LOGIC CONF

INFINITY AND TRUTH

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institu...

SLICING THE TRUTH

This book is a brief and focused introduction to the reverse mathematics and computability theory...

PROC OF THE 10TH ASIAN LOGIC CONF

Computational Prospects Of Infinity - Part I: Tutorials

E-RECURSION, FORCING AND C*-ALGEBRAS

This volume presents the lecture notes of short courses given by three leading experts in mathema...

Computational Prospects Of Infinity - Part I: Tutorials

This volume presents the written versions of the tutorial lectures given at the Workshop on Compu...

Proceedings Of The Sixth Asian Logic Conference

This volume collects written versions of invited and contributed talks presented at the conferenc...

Computational Prospects Of Infinity - Part Ii: Presented Talks

This volume is a collection of written versions of the talks given at the Workshop on Computation...

NOTES ON FORCING AXIOMS

In the mathematical practice, the Baire category method is a tool for establishing the existence ...

E-recursion, Forcing And C*-algebras