Meze formalizace, analytičnosti a prostoročasu

An edition of Meze formalizace, analytičnosti a prostoročasu (2007)

Meze formalizace, analytičnosti a prostoročasu

By Vladimír Havlík

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

2007

Publisher

Filosofický ústav AV ČR

Language

cze

Pages

301

Description:

subjects: Congresses, Symbolic and mathematical Logic, Incompleteness theorems, Proof theory

People: Kurt Gödel