Počet záznamů: 1
Logic Colloquium 95
- 1.0174594 - MU-W 980166 RIV DD eng M - Část monografie knihy
Krajíček, Jan
Extensions of models of PV.
Logic Colloquium 95. Berlin: ASL/Springer, 1998 - (Ravve, E.), s. 104-114. Lecture Notes in Logic, 11
Grant CEP: GA AV ČR IAA1019602
Grant ostatní: US-Czechoslovak Science and technology Program(XX) č. 93025
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071600
Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 1.1 MB Vydavatelský postprint vyžádat
Počet záznamů: 1