Provability Logic || On the Proof of Solovay's Theorem
Dick de Jongh, Marc Jumelet and Franco MontagnaТом:
50
Мова:
english
Журнал:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20015554
Date:
March, 1991
Файл:
PDF, 1.67 MB
english, 1991