A 2-Categorical Approach to Proof-Comparison

Krenick´y, Roman (2022) A 2-Categorical Approach to Proof-Comparison. Doctoral thesis, UIN SAIZU Purwokerto.

[img] Text
A_2-Categorical_Approach_to_Pr.pdf
Restricted to Registered users only
Download (1MB)
Item Type: Thesis (Doctoral)
Subjects: 500 Natural sciences and mathematics > 510 Mathematics
Divisions: Perpustakaan
Depositing User: sdr prakerin 22
Date Deposited: 20 May 2022 02:08
Last Modified: 20 May 2022 02:08
URI: http://repository.uinsaizu.ac.id/id/eprint/13487

Actions (login required)

View Item View Item
Repository UIN Profesor Kiai Haji Saifuddin Zuhri is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.