Některé problémy týkající se délek důkazů

Některé problémy týkající se délek důkazů

Bibliographic Details
Main Author:	Hrubeš, Pavel
Other Authors:	Pudlák, Pavel
Format:	Doctoral Thesis
Language:	English
Published:	2008
Online Access:	http://www.nusl.cz/ntk/nusl-287911

Internet

http://www.nusl.cz/ntk/nusl-287911

Cannot write session to /tmp/vufind_sessions/sess_vlg25d9prcu3plnbcevvd7v2k2