Prawitz Dag. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp [Book Review]

Journal of Symbolic Logic 32 (2):255-256 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1967

DOI

10.2307/2271676

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

External links

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

Berg Jan. Bolzano's logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 2. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1962, 214 pp. [REVIEW]Leon Miller - 1965 - Journal of Symbolic Logic 30 (3):362-363.
Kanger Stig. Provability in logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 1. Almqvist and Wiksell, Stockholm 1957, 47 pp. [REVIEW]F. H. Fischer - 1958 - Journal of Symbolic Logic 23 (1):37-38.
Marcel Quarfood, Transcendental Idealism and the Organism: Essays on Kant. Acta Universitatis Stockholmiensis – Stockholm Studies in Philosophy 26. Stockholm: Almqvist & Wiksell International, 2004. 221 pp. [REVIEW]Sami Pihlström - 2006 - SATS 7 (1):205-214.
Marcel Quarfood, Transcendental Idealism and the Organism: Essays on Kant. Acta Universitatis Stockholmiensis–Stockholm Studies in Philosophy 26. Stockholm: Almqvist & Wiksell International, 2004. 221 pp. [REVIEW]Sami Pihlström - 2006 - SATS 7 (1):205-214.
Witold Witakowski, The Syriac Chronicle of Pseudo-Dionysius of Tel-Mahrē: A Study in the History of Historiography.(Acta Universitatis Upsaliensis, Studia Semitica Upsaliensia, 9.) Uppsala: Uppsala University, 1987. Paper. Pp. 182; 2 tables. SKr 123. Distributed by Almqvist & Wiksell, Stockholm. [REVIEW]David G. K. Taylor - 1990 - Speculum 65 (4):1081-1083.
Hans Helander: The Noun Victoria as Subject. (Acta Universitatis Upsaliensis, Studia Latina Upsaliensia, 14.) Pp. 123. Uppsala: distributed by Almqvist & Wiksell, Stockholm, 1982. Paper, Sw. kr. 63. [REVIEW]Michael Winterbottom - 1983 - The Classical Review 33 (01):145-.
Hans Helander: The Noun Victoria as Subject. (Acta Universitatis Upsaliensis, Studia Latina Upsaliensia, 14.) Pp. 123. Uppsala: distributed by Almqvist & Wiksell, Stockholm, 1982. Paper, Sw. kr. 63. [REVIEW]Michael Winterbottom - 1983 - The Classical Review 33 (1):145-145.
R. Koolmeister, T. Tallmeister, ed. J. F. Kindstrand: An Index to Dio Chrysostomus. (Acta Universitatis Upsaliensis, Studia Graeca Upsaliensia, 17.) Pp. x + 481. Uppsala: distributed by Almqvist & Wiksell, Stockholm 1981. Paper, Sw. kr. 157. [REVIEW]A. R. R. Sheppard - 1983 - The Classical Review 33 (1):133-133.
Folke Nordström, Mediaeval Baptismal Fonts: An Iconographical Study. (Acta Universitatis Umensis; Umeå Studies in the Humanities, 6.) Umeå and Stockholm: Almqvist & Wiksell, 1984. Paper. Pp. 193; 77 illustrations. SKr 115. [REVIEW]Elizabeth C. Parker - 1986 - Speculum 61 (4):1030-1030.

Analytics

Added to PP
2013-11-03

Downloads
93 (#227,593)

6 months
19 (#157,171)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

Citations of this work

Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.

Add more citations

References found in this work

No references found.

Add more references