| |
| 1993 | ||
|---|---|---|
| 4 | Dag Prawitz, Dag Westerståhl: Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science. Ann. Pure Appl. Logic 63(1): 1 (1993) | |
| 1968 | ||
| 3 | Dag Prawitz: Hauptsatz for Higher Order Logic. J. Symb. Log. 33(3): 452-457 (1968) | |
| 1967 | ||
| 2 | Dag Prawitz: A Note on Existential Instantiation. J. Symb. Log. 32(1): 81-82 (1967) | |
| 1960 | ||
| 1 | EE | Dag Prawitz, Haåkan Prawitz, Neri Voghera: A Mechanical Proof Procedure and its Realization in an Electronic Computer. J. ACM 7(2): 102-128 (1960) |
| 1 | Haåkan Prawitz | [1] |
| 2 | Neri Voghera | [1] |
| 3 | Dag Westerståhl | [4] |