Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000444548

Navigace: https://aleph.vkol.cz/pub / svk01 / 00044xxxx / 0004445xx / 000444548.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

ISBN83-229-1985-9 (brož.)
ISSN0239-6661
MDT164
HZ-Osobní jménoSkura, Tomasz
Názvové údajeLogika. T. 20, Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems / Tomasz Skura
Varianta názvuAspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems
Nakladatel.údajeWrocław : Uniwersytet Wrocławski, 1999
Údaje fyz.popisu84 s.
Edice-jiná formaActa Universitatis Wratislaviensis ; No. 2190
Pozn.o bibliogr.Bibliografie na s. 83-84
Předm.-volně tvoř. intuicionistická logika
Žánr/formasborníky
VZ-Edice-Unif.náz. Acta Universitatis Wratislaviensis
Sigla,sign.vlastn.OLA001 447.550/ 20
Předmět.heslaLogika intuicionistická sborníky
Počet exemplářů1

Úvodní stránka katalogu. O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.