Consistency and games - in search of new combinatorial principles

Počet záznamů: 1

1.

SYSNO	0039356
Název	Consistency and games - in search of new combinatorial principles
Překlad názvu	Bezespornost a hry - hledání nových kombinatorických principů
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. s. 244-281. - Wellesley : Association for Symbolic Logic, 2006 / Stoltenberg-Hansen V. ; Väänänen J.
Konference	Logic Colloquium 2003, Helsinki, 14.08.2003-20.08.2003
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA1019401 GA AV ČR - Akademie věd, CZ - Česká republika
	GA201/01/1195 GA ČR - Grantová agentura ČR, CZ - Česká republika
	GD401/03/H047 GA ČR - Grantová agentura ČR
CEZ	AV0Z1019905 - MU-W
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	independent sentences * peano arithmetic * bounded arithmetic
Trvalý link	http://hdl.handle.net/11104/0133466

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak.pdf	1	4.6 MB		Autorský postprint	povolen

Počet záznamů: 1