Natural deduction : a proof-theoretical study / Dag Prawitz
Saved in:
| Superior document: | Stockholm studies in philosophy 3 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Stockholm : Almqvist & Wiksell, 1965 |
| Year of Publication: | 1965 |
| Language: | English |
| Series: | Stockholm studies in philosophy
3 Acta Universitatis Stockholmiensis |
| Subjects: | |
| Classification: | 08.33 - Logik |
| Physical Description: | 113 S. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01541nam a2200529 cb4500 | ||
|---|---|---|---|
| 001 | 990001607800504498 | ||
| 005 | 20230304184915.0 | ||
| 007 | tu | ||
| 008 | 080310|1965 ||| m ||| | eng c | ||
| 009 | AC06642374 | ||
| 035 | |a (AT-OBV)AC06642374 | ||
| 035 | |a AC06642374 | ||
| 035 | |a (Aleph)006541238ACC01 | ||
| 035 | |a (DE-599)BSZ001070851 | ||
| 035 | |a (DE-604)8089339592 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990065412380203331 | ||
| 040 | |a UBS |b ger |c BSZ |d AT-UBS |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-SE | ||
| 084 | |a 08.33 |2 bkl |9 O: Automatisch generiert aus Konkordanz RVK-BK-Philosophie | ||
| 084 | |a CC 2500 |2 rvk | ||
| 084 | |a CC 2600 |2 rvk | ||
| 084 | |a 03F05 |2 msc | ||
| 084 | |a 03B10 |2 msc | ||
| 084 | |a 03B20 |2 msc | ||
| 084 | |a 03B15 |2 msc | ||
| 084 | |a 03B45 |2 msc | ||
| 100 | 1 | |a Prawitz, Dag |d 1936- |0 (DE-588)122972317 |4 aut | |
| 245 | 1 | 0 | |a Natural deduction |b a proof-theoretical study |c Dag Prawitz |
| 264 | 1 | |a Stockholm |b Almqvist & Wiksell |c 1965 | |
| 300 | |a 113 S. | ||
| 490 | 1 | |a Stockholm studies in philosophy |v 3 | |
| 490 | 0 | |a Acta Universitatis Stockholmiensis | |
| 502 | |a Zugl.: Stockholm, Univ., Diss., 1965 | ||
| 689 | 0 | 0 | |a Logik |D s |0 (DE-588)4036202-4 |
| 689 | 0 | 1 | |a Deduktion |D s |0 (DE-588)4011271-8 |
| 689 | 0 | |5 AT-OBV |5 BVB | |
| 689 | 1 | 0 | |a Deduktion |D s |0 (DE-588)4011271-8 |
| 689 | 1 | 1 | |a natürliche |
| 689 | 1 | |5 AT-OBV |5 ONB-PI | |
| 689 | 2 | 0 | |a Gentzen, G. |
| 689 | 2 | |5 AT-OBV |5 ONB-PI | |
| 689 | 3 | 0 | |a Jaskowski, S. |
| 689 | 3 | |5 AT-OBV |5 ONB-PI | |
| 751 | |a Stockholm |4 uvp | ||
| 830 | 0 | |w (AT-OBV)AC01856348 |v 3 | |
| 970 | 1 | |c 04 | |
| 970 | 4 | |b SWB | |
| ADM | |b 2024-05-14 15:39:07 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 07:55:51 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 89636.3 |c MAG1 |8 2216961900004498 | |
| 852 | 8 | |b YWOAW |c MAG1 |h 89636.3 |8 2216961900004498 | |
| ITM | |9 2216961900004498 |e 1 |m BOOK |b +YW12700700 |i 89636.3 |2 MAG1 |o 19990909 |8 2316961890004498 |f 02 |p 2008-06-17 02:00:00 Europe/Vienna |h 89636.3 |1 YWOAW |q 2022-08-23 12:25:52 Europe/Vienna | ||