Weak arithmetical interpretations for the Logic of Proofs

Logic Journal of IGPL 2016 / 06 Vol. 24; Iss. 3

Weak arithmetical interpretations for the Logic of Proofs

Kuznets, Roman, Studer, Thomas
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
24
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/jzw002
Date:
June, 2016
File:
PDF, 222 KB
english, 2016
Conversion to is in progress
Conversion to is failed