 | 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 |  | 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) |
