Natural deduction : a proof-theoretical study

Natural deduction : a proof-theoretical study / Dag Prawitz

Saved in:
Bibliographic Details
Superior document:Stockholm studies in philosophy 3
VerfasserIn:
Prawitz, Dag 1936-
Place / Publishing House:Stockholm : Almqvist & Wiksell, 1965
Year of Publication:1965
Language:English
Series:Stockholm studies in philosophy 3
Acta Universitatis Stockholmiensis
Subjects:
Logik (DE-588)4036202-4 Deduktion (DE-588)4011271-8
Deduktion (DE-588)4011271-8 natürliche
Gentzen, G.
Jaskowski, S.
Classification:08.33 - Logik
Physical Description:113 S.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001607800504498
ctrlnum AC06642374
(AT-OBV)AC06642374
(Aleph)006541238ACC01
(DE-599)BSZ001070851
(DE-604)8089339592
(EXLNZ-43ACC_NETWORK)990065412380203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Prawitz, Dag 1936- (DE-588)122972317 aut
Natural deduction a proof-theoretical study Dag Prawitz
Stockholm Almqvist & Wiksell 1965
113 S.
Stockholm studies in philosophy 3
Acta Universitatis Stockholmiensis
Zugl.: Stockholm, Univ., Diss., 1965
Logik s (DE-588)4036202-4
Deduktion s (DE-588)4011271-8
AT-OBV BVB
natürliche
AT-OBV ONB-PI
Gentzen, G.
Jaskowski, S.
Stockholm uvp
(AT-OBV)AC01856348 3
YWOAW MAG1 89636.3 2216961900004498
language English
format Thesis
Book
author Prawitz, Dag 1936-
spellingShingle Prawitz, Dag 1936-
Natural deduction a proof-theoretical study
Stockholm studies in philosophy
Acta Universitatis Stockholmiensis
Logik (DE-588)4036202-4
Deduktion (DE-588)4011271-8
natürliche
Gentzen, G.
Jaskowski, S.
author_facet Prawitz, Dag 1936-
author_variant d p dp
author_role VerfasserIn
author_sort Prawitz, Dag 1936-
title Natural deduction a proof-theoretical study
title_sub a proof-theoretical study
title_full Natural deduction a proof-theoretical study Dag Prawitz
title_fullStr Natural deduction a proof-theoretical study Dag Prawitz
title_full_unstemmed Natural deduction a proof-theoretical study Dag Prawitz
title_auth Natural deduction a proof-theoretical study
title_new Natural deduction
title_sort natural deduction a proof-theoretical study
series Stockholm studies in philosophy
Acta Universitatis Stockholmiensis
series2 Stockholm studies in philosophy
Acta Universitatis Stockholmiensis
publisher Almqvist & Wiksell
publishDate 1965
physical 113 S.
callnumber-raw 89636.3
callnumber-search 89636.3
topic Logik (DE-588)4036202-4
Deduktion (DE-588)4011271-8
natürliche
Gentzen, G.
Jaskowski, S.
topic_facet Logik
Deduktion
natürliche
Gentzen, G.
Jaskowski, S.
illustrated Not Illustrated
work_keys_str_mv AT prawitzdag naturaldeductionaprooftheoreticalstudy
status_str n
ids_txt_mv (AT-OBV)AC06642374
AC06642374
(Aleph)006541238ACC01
(DE-599)BSZ001070851
(DE-604)8089339592
(EXLNZ-43ACC_NETWORK)990065412380203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 89636.3
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2008-06-17 02:00:00 Europe/Vienna
barcode_str_mv +YW12700700
callnumbers_txt_mv 89636.3
inventoryNumbers_str_mv 89636.3
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1
inventoryDates_str_mv 19990909
createdDates_str_mv 2008-06-17 02:00:00 Europe/Vienna
holdingIds_str_mv 2216961900004498
hierarchy_parent_id AC01856348
hierarchy_parent_title Stockholm studies in philosophy 3
hierarchy_sequence 3
is_hierarchy_id AC06642374
is_hierarchy_title Natural deduction a proof-theoretical study
container_title Stockholm studies in philosophy 3
container_reference AC01856348
basiskl_str_mv 08.33 - Logik
basiskl_txtF_mv 08.33 - Logik
_version_ 1799041852948611072
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01541nam a2200529 cb4500</leader><controlfield tag="001">990001607800504498</controlfield><controlfield tag="005">20230304184915.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">080310|1965 ||| m ||| | eng c</controlfield><controlfield tag="009">AC06642374</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC06642374</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC06642374</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)006541238ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ001070851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-604)8089339592</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990065412380203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UBS</subfield><subfield code="b">ger</subfield><subfield code="c">BSZ</subfield><subfield code="d">AT-UBS</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-SE</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">08.33</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch generiert aus Konkordanz RVK-BK-Philosophie</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Prawitz, Dag</subfield><subfield code="d">1936-</subfield><subfield code="0">(DE-588)122972317</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Natural deduction</subfield><subfield code="b">a proof-theoretical study</subfield><subfield code="c">Dag Prawitz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stockholm</subfield><subfield code="b">Almqvist &amp; Wiksell</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">113 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Stockholm studies in philosophy</subfield><subfield code="v">3</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Acta Universitatis Stockholmiensis</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Stockholm, Univ., Diss., 1965</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4036202-4</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Deduktion</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4011271-8</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">BVB</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Deduktion</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4011271-8</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">natürliche</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">ONB-PI</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Gentzen, G.</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">ONB-PI</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Jaskowski, S.</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">ONB-PI</subfield></datafield><datafield tag="751" ind1=" " ind2=" "><subfield code="a">Stockholm</subfield><subfield code="4">uvp</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC01856348</subfield><subfield code="v">3</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">04</subfield></datafield><datafield tag="970" ind1="4" ind2=" "><subfield code="b">SWB</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-05-14 15:39:07 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 07:55:51 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">89636.3</subfield><subfield code="c">MAG1</subfield><subfield code="8">2216961900004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">89636.3</subfield><subfield code="8">2216961900004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2216961900004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW12700700</subfield><subfield code="i">89636.3</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2316961890004498</subfield><subfield code="f">02</subfield><subfield code="p">2008-06-17 02:00:00 Europe/Vienna</subfield><subfield code="h">89636.3</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-08-23 12:25:52 Europe/Vienna</subfield></datafield></record></collection>

Similar Items