Dag Prawitz

Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction, and for his contributions to proof-theoretic semantics.

Prawitz is a member of the Norwegian Academy of Science and Letters, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.

Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Prawitz, Dag 1936-', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Natural deduction a proof-theoretical study

    Natural deduction a proof-theoretical study by Prawitz, Dag 1936-

    Published 1965
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    ABC i symbolisk logik logikens sprak och grundbegrepp

    ABC i symbolisk logik logikens sprak och grundbegrepp by Prawitz, Dag 1936-

    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    ABC i symbolisk logik logikens sprak och grundbegrepp

    ABC i symbolisk logik logikens sprak och grundbegrepp by Prawitz, Dag 1936-

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    ABC i symbolisk logik logikens sprak och grundbegrepp

    ABC i symbolisk logik logikens sprak och grundbegrepp by Prawitz, Dag 1936-

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Proceedings of the Ninth International Congress of Logic,Methodology and Philosophy of Science Uppsala, Sweden, August 7 - 14, 1991

    Proceedings of the Ninth International Congress of Logic,Methodology and Philosophy of Science Uppsala, Sweden, August 7 - 14, 1991

    Published 1994
    Other Authors: “…Prawitz, Dag 1936-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

    Logic, methodology and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

    Published 1994
    Other Authors: “…Prawitz, Dag 1936-…”
    Indexes
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: