A Mechanical Proof Procedure and its Realization in an Electronic Computer

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


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 76,199

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Realization and Physicalism.Robert Francescotti - 2010 - Philosophical Psychology 23 (5):601-616.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
A Hybrid Abductive Inductive Proof Procedure.Oliver Ray, Krysia Broda & Alessandra Russo - 2004 - Logic Journal of the IGPL 12 (5):371-397.


Added to PP

18 (#614,359)

6 months
3 (#224,882)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.

Add more citations

References found in this work

No references found.

Add more references