Meze formalizace, analytičnosti a prostoročasu
By: Čana ... [et al.] ; [k vyd. připravil Vladimír Havlík]
Edition: Vyd. 1.
Publisher: Filosofický ústav AV ČR
Published: 2007
Place of publication: Praha
Language: cze
Number of pages: 301
ISBN-13: 9788070072684
Subjects: Congresses; Symbolic and mathematical Logic; Incompleteness theorems; Proof theory
Notes: Includes bibliographical references.

In Czech and English.