×

Found 2,385 Documents (Results 1–100)

100
MathJax

On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction. (English) Zbl 07197418

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 268-286 (2020).
MSC:  03F40 03F30
PDF BibTeX XML Cite
Full Text: DOI

Remarks on two papers of Paul Bernays. (English) Zbl 1465.03033

Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 297-312 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software