Proofs as finite structures

Record link:

Title:

Citation:

Bydžovský, J. (2022). Proofs as finite structures [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158934

CatalogPlus:

Publication Type:

Thesis - Dissertation

Language:

English

Authors:

Advisor:

Baaz, Matthias

Organisational Unit:

E104 - Institut für Diskrete Mathematik und Geometrie

Date (published):

2022

Number of Pages:

Additional information:

Kumulative Dissertation aus drei Artikeln

Appears in Collections:

Show full item record

checked on Dec 1, 2023

Check