Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

The traditional festive meeting of the department & friends of logic will take place...

11. prosinec 2017

jsou z důvodu dovolené sekretariát a knihovna uzavřeny

11. prosinec 2017

V současné době přecházíme na nové stránky http://logic.ff.cuni.cz, které jsou primárně v...

29. listopad 2017

NadpisOn interpretability in the theory of concatenation
Publication TypeJournal Article
AuthorsŠvejdar, V.
URLhttp://projecteuclid.org/euclid.ndjfl/1232375164
Klíčová slovaconcatenation essential undecidability Interpretability Robinson arithmetic
Stránky87–95
Number1
Volume50
Year2009
PublisherUniversity of Notre Dame
JournalNotre Dame Journal of Formal Logic
DOI10.1215/00294527-2008-029
PřílohaVelikost
pdf preprint182.3 KB