Widok Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability

Wróć do szczegółów artykułu Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability Pobierz Pobierz PDF