Basic proof theory, A.S. Troelstra and H. Schwichtenberg

Journal of Logic, Language and Information 7 (2):221-223 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008226228293

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

Review: A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.
Basic model theory, Kees Doets.Patrick Blackburn - 1999 - Journal of Logic, Language and Information 8 (2):258-261.
Basic simple type theory, J. Roger Hindley.Hans-Joerg Tiede - 1999 - Journal of Logic, Language and Information 8 (4):473-476.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp. [REVIEW]Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.
Paradigms for language theory and other essays, Jaakko Hintikka.Ahti Pietarinen - 1999 - Journal of Logic, Language and Information 8 (1):124-127.
Paradigms for Language Theory and Other Essays, Jaakko Hintikka.Ahti Pietarinen - 1999 - Journal of Logic, Language and Information 8 (1):124-127.
Editorial: Belief revision theory today. [REVIEW]Sven Ove Hansson - 1998 - Journal of Logic, Language and Information 7 (2):123-126.
Introduction: Toward a unified theory of context?Saša Buvač & Megumi Kameyama - 1998 - Journal of Logic, Language and Information 7 (1):1-1.

Analytics

Added to PP
2009-01-28

Downloads
49 (#333,429)

6 months
1 (#1,514,069)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references