Ann. Pure Appl. Logic

Annals of Pure and Applied Logic 89 (2-3):275 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(97)00043-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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

Erratum to “Zero-one laws for modal logic” [Ann. Pure Appl. Logic 69 (1994) 157–193].Joseph Y. Halpern & Bruce M. Kapron - 2003 - Annals of Pure and Applied Logic 121 (2-3):281-283.
Addendum to “Choiceless polynomial time”: Ann. Pure Appl. Logic 100 (1999) 141–187.Andreas Blass, Yuri Gurevich & Saharon Shelah - 2001 - Annals of Pure and Applied Logic 112 (1):117.
Erratum to “Elimination of unbounded quantifiers for some poly-regular groups of infinite rank” [Ann. Pure Appl. Logic 149 (1–3) (2007) 40–80]. [REVIEW]Philip Scowcroft - 2013 - Annals of Pure and Applied Logic 164 (1):65.
Erratum to “computable isomorphisms, degree spectra of relations, and Scott families” [ann. pure appl. logic 93 (1998) 153–193]. [REVIEW]Bakhadyr Khoussainov & Richard A. Shore - 1999 - Annals of Pure and Applied Logic 98 (1-3):297-298.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Kripke models and the (in)equational logic of the second-order λ-calculus.Jean Gallier - 1997 - Annals of Pure and Applied Logic 84 (3):257-316.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
An Analytic Zariski Structure Over a Field.Nick Peatfield - 2006 - Archive for Mathematical Logic 45 (6):739-768.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,123,374)

6 months
4 (#787,091)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An intuitionistic proof of Kruskal’s theorem.Wim Veldman - 2004 - Archive for Mathematical Logic 43 (2):215-264.

Add more citations

References found in this work

No references found.

Add more references