Some Problems Concerning Lengths of Proofs
Některé problémy týkající se délek důkazů
dizertační práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/12094Identifikátory
SIS: 42357
Kolekce
- Kvalifikační práce [11217]
Autor
Vedoucí práce
Oponent práce
Krajíček, Jan
Johannsen, Jan
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Algebra, teorie čísel a matematická logika
Katedra / ústav / klinika (externí)
Informace není k dispozici
Datum obhajoby
4. 1. 2008
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Prospěl/a