Filozofická Fakulta

Katedra logiky

Aktuality

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 2017

Vítězslav Švejdar

 neklasické logiky, metamatematika aritmetiky

 email: Please see the home page.
 www: www1.cuni.cz/~svejdar/

Publikace

2009
Švejdar, V., "On interpretability in the theory of concatenation", Notre Dame Journal of Formal Logic, vol. 50, no. 1: University of Notre Dame, pp. 87–95, 2009. Abstract  Stáhnout: pdf preprint (182.3 KB)
2007
Švejdar, V., "An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant", Fundamenta Informaticae, vol. 81, no. 1: IOS Press, pp. 347–354, 2007.