A simple detailed proof for Goedel's incompleteness theorem
An essay on model theory
Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.
Axiomatizácia fyzikálnych systémov a „kvantové logiky‟
Cantors Diagonalprinzip für Kategorien.
Correció a l'article: "Analisi formalment recursiva".
Corrección del artículo del autor "Anàlisi formalment recursiva", publicado en Publicacions de la Secció de Matemàtiques de la UAB, 30 (2-3), p. 35-75 (1986).
E. T. a infinitární Churchova teze
El método axiomático y álgebra de relaciones y condiciones lógicas.
El método axiomático y álgebra de relaciones y condiciones lógicas.
El método axiomático y álgebra de relaciones y condiciones lógicas.
Exercices sur la stabilité
Fixed points and self-reference.
Jaká je logická výstavba matematiky? [Book]
Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem
Logique mathématique et analyse non-standard
Modelltheorie und Logik.
O aplikacích matematické logiky na matematiku
O matematické logice
O prvním Hilbertově problému (Hypotéza kontinua a axióm výběru)
Statistical approach to proof theory
Suites d'indicernables dans les théories stables