Aspects of refutation procedures in the intuitionistic logic and related modal systems / Tomasz Skura
Saved in:
| Superior document: | Acta Universitatis Wratislaviensis 2190 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Wrocław : Wydawn. Uniw. Wrocławskiego, 1999 |
| Year of Publication: | 1999 |
| Language: | English |
| Series: | Acta Universitatis Wratislaviensis
2190 Logika 20 |
| Subjects: | |
| Classification: | 31.10 - Mathematische Logik. Mengenlehre |
| Physical Description: | 84 S. |
| Notes: | Literaturverz. S. [83] - 84 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01252nam a2200397 cb4500 | ||
|---|---|---|---|
| 001 | 990000324080504498 | ||
| 005 | 20230513224948.0 | ||
| 007 | tu | ||
| 008 | 000511|1999 ||| ||| 0 eng c | ||
| 009 | AC02969406 | ||
| 020 | |a 8322919859 | ||
| 035 | |a (AT-OBV)AC02969406 | ||
| 035 | |a AC02969406 | ||
| 035 | |a (Aleph)002966151ACC01 | ||
| 035 | |a (DE-599)OBVAC02969406 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990029661510203331 | ||
| 040 | |a OAW |b ger |d AT-UBW |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-PL | ||
| 084 | |a 31.10 |2 bkl |9 O: Automatisch generiert aus Konkordanz MSC-BK | ||
| 084 | |a 03B20 |2 msc | ||
| 084 | |a 03B45 |2 msc | ||
| 090 | |h g | ||
| 100 | 1 | |a Skura, Tomasz |4 aut | |
| 245 | 1 | 0 | |a Aspects of refutation procedures in the intuitionistic logic and related modal systems |c Tomasz Skura |
| 264 | 1 | |a Wrocław |b Wydawn. Uniw. Wrocławskiego |c 1999 | |
| 300 | |a 84 S. | ||
| 490 | 1 | |a Acta Universitatis Wratislaviensis |v 2190 | |
| 490 | 1 | |a Logika |v 20 | |
| 500 | |a Literaturverz. S. [83] - 84 | ||
| 689 | 0 | 0 | |a Nichtklassische Logik |D s |0 (DE-588)4197462-1 |
| 689 | 0 | 1 | |a Intuitionistische Logik |D s |0 (DE-588)4162199-2 |
| 689 | 0 | 2 | |a Modallogik |D s |0 (DE-588)4074914-9 |
| 689 | 0 | 3 | |a Indirekter Beweis |D s |0 (DE-588)4312816-6 |
| 830 | 0 | |w (AT-OBV)AC00608142 | |
| 830 | 0 | |w (AT-OBV)AC01150793 | |
| 970 | 1 | |c 23 | |
| ADM | |b 2024-03-23 13:13:53 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 09:50:50 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 84896.2190 |c MAG1 |8 2221888280004498 | |
| 852 | 8 | |b YWOAW |c MAG1 |h 84896.2190 |8 2221888280004498 | |
| ITM | |9 2221888280004498 |e 1 |m BOOK |b +YW643506 |i 2000:688 |2 MAG1 |o 20000511 |8 2321888270004498 |f 02 |p 2000-05-11 02:00:00 Europe/Vienna |h 84896.2190 |1 YWOAW |q 2022-09-25 22:04:46 Europe/Vienna | ||