Review: Dag Prawitz, Hakon Prawitz, Neri Voghera, A Mechanical Proof Procedure and its Realization in an Electronic Computer [Book Review]

Journal of Symbolic Logic 31 (1):126-126 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 , pp. 102–128. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-126.
Review: Dag Prawitz, An Improved Proof Procedure. [REVIEW]J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 , pp. 28–35. [REVIEW]J. A. Robinson - 1996 - Journal of Symbolic Logic 31 (1):124-125.
Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
A Mechanical Proof Procedure and its Realization in an Electronic Computer.Dag Prawitz & Neri Voghera - 1966 - Journal of Symbolic Logic 31 (1):126-126.
Dag Prawitz. An improved proof procedure. Theoria , vol. 26 , pp. 102–139.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (1):126-127.
Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study. [REVIEW]Richmond Thomason - 1967 - Journal of Symbolic Logic 32 (2):255-256.
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
Review: Dag Prawitz, Concerning constructive Logic and the Concept of Implication. [REVIEW]Dagfinn Follesdal - 1968 - Journal of Symbolic Logic 33 (4):605-605.
Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,822,311)

6 months
2 (#1,445,278)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references