An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer
Bewaard in:
Superior document: | Dissertationes mathematicae 167 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : Państw. Wyd. Naukowe, 1980 |
Publicatiejaar: | 1980 |
Taal: | English |
Reeks: | Dissertationes mathematicae
167 |
Onderwerpen: | |
Fysieke beschrijving: | 67 S. |
Aantekeningen: | Literaturverz. S. 59 |
Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
LEADER | 00992nam#a2200325#cb4500 | ||
---|---|---|---|
001 | 990001922880504498 | ||
005 | 20230304185954.0 | ||
007 | tu | ||
008 | 091016|1980####|||###########|||#|#eng#c | ||
009 | AC07836219 | ||
020 | |a 8301011033 | ||
035 | |a (AT-OBV)AC07836219 | ||
035 | |a AC07836219 | ||
035 | |a (Aleph)007688584ACC01 | ||
035 | |a (DE-599)OBVAC07836219 | ||
035 | |a (EXLNZ-43ACC_NETWORK)990076885840203331 | ||
040 | |a OAW |b ger |e rakwb | ||
041 | |a eng | ||
044 | |c XA-PL | ||
084 | |a SI 390 |2 rvk | ||
100 | 1 | |a Rauszer, Cecylia |4 aut | |
245 | 1 | 0 | |a An algebraic and Kripke-style approach to a certain extension of intuitionistic logic |c Cecylia Rauszer |
264 | 1 | |a Warszawa |b Państw. Wyd. Naukowe |c 1980 | |
300 | |a 67 S. | ||
490 | 1 | |a Dissertationes mathematicae |v 167 | |
500 | |a Literaturverz. S. 59 | ||
650 | 0 | |a Intuitionistic mathematics |z Automatisch aus GBV_2011-10 2012-04-19 | |
689 | 0 | 0 | |a Intuitionistische Logik |D s |0 (DE-588)4162199-2 |
830 | 0 | |w (AT-OBV)AC00094393 |v 167 | |
970 | 1 | |c 23 | |
970 | 4 | |b HBZ | |
ADM | |b 2023-04-16 13:43:16 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 06:07:49 Europe/Vienna |g false | ||
HOL | 8 | |b YWOAW |h 84784.167 |c MAG1 |8 2215616930004498 | |
852 | 8 | |b YWOAW |c MAG1 |h 84784.167 |8 2215616930004498 | |
ITM | |9 2215616930004498 |e 1 |m BOOK |b +YW15706907 |i 84784.167 |2 MAG1 |o 19990909 |8 2315616920004498 |f 02 |p 2009-10-16 02:00:00 Europe/Vienna |h 84784.167 |1 YWOAW |q 2022-09-26 12:52:47 Europe/Vienna |