A Short Introduction to Intuitionistic Logic
Grigori Mints
Download - Immediately Available
Format: eBook (PDF)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Igor Lavrov
Download - Immediately Available
Format: eBook (PDF)
Computability and Models : Perspectives East and West
Barry S. Cooper
Download - Immediately Available
Format: eBook (PDF)