Andrkka, H., Givant, S., Mikulb, S., Ntmeti, I. and Simon, A

Annals of Pure and Applied Logic 91 (1):271 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,678

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

Personal ethics.Kenneth E. Kirk - 1934 - New York,: Books for Libraries Press. Edited by Burnett Hillman Streeter.
Theories of value and problems of education.Philip G. Smith - 1970 - Urbana,: University of Illinois Press.
Analyses of contemporary education.Allan C. Ornstein - 1973 - New York,: Crowell. Edited by W. Eugene Hedley.

Analytics

Added to PP
2014-03-22

Downloads
9 (#1,296,685)

6 months
8 (#529,044)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Unfoldable cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
Saturated models of intuitionistic theories.Carsten Butz - 2004 - Annals of Pure and Applied Logic 129 (1-3):245-275.
A characterization theorem for geometric logic.Olivia Caramello - 2011 - Annals of Pure and Applied Logic 162 (4):318-321.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.

Add more citations

References found in this work

La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Infinitary intuitionistic logic from a classical point of view.Mark E. Nadel - 1978 - Annals of Mathematical Logic 14 (2):159-191.
Infinitary propositional intuitionistic logic.Craig Kalicki - 1980 - Notre Dame Journal of Formal Logic 21 (2):216-228.

View all 7 references / Add more references