2004 Annual Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic 11 (1):92-119 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003553

Other Versions

No versions found

Links

PhilArchive



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

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

Sergei N. Artemov. Explicit provability and constructive semantics. The bulletin of symbolic logic, vol. 7 , pp. 1–36. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-433.
Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-433.
2001 Annual Meeting of the Association for Symbolic Logic.Andre Scedrov - 2001 - Bulletin of Symbolic Logic 7 (3):420-435.
2003 Annual Meeting of the Association for Symbolic Logic.Andreas Blass - 2004 - Bulletin of Symbolic Logic 10 (1):120-145.
2002 Annual Meeting of the Association for Symbolic Logic.W. Hugh Woodin & Z. Beyond - 2003 - Bulletin of Symbolic Logic 9 (1):51.
2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.

Analytics

Added to PP
2014-03-20

Downloads
24 (#916,910)

6 months
9 (#504,609)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sergei Artemov
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.

View all 7 references / Add more references