Provability Logic || Provability: The Emergence of a Mathematical Modality
George Boolos and Giovanni SambinVolume:
50
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20015550
Date:
March, 1991
File:
PDF, 2.48 MB
english, 1991