Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19900360505
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,401
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Philosophical investigations.Ludwig Wittgenstein & G. E. M. Anscombe - 1953 - Revue Philosophique de la France Et de l'Etranger 161:124-124.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Proof Theory and Computer Programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
The Uniform Proof-Theoretic Foundation of Linear Logic Programming.J. A. Harland & D. J. Pym - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.

Analytics

Added to PP index
2016-02-04

Total views
29 ( #374,857 of 2,445,468 )

Recent downloads (6 months)
1 ( #457,040 of 2,445,468 )

How can I increase my downloads?

Downloads

My notes