Journal of Symbolic Logic 50 (3):682-688 (1985)

Authors
Daniel M. Leivant
Indiana University, Bloomington
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274322
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: 58,937
Through your library

References found in this work BETA

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

Add more references

Citations of this work BETA

A Note on the Independence of Premiss Rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
Truth Table Logic, with a Survey of Embeddability Results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.
The Problem of the Simplest Diophantine Representation.Panu Raatikainen - 1997 - Nordic Journal of Philosophical Logic 2:47-54.

View all 8 citations / Add more citations

Similar books and articles

Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Variations on a Theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Elementary Realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Some Restrictions on Simple Fixed Points of the Integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.

Analytics

Added to PP index
2009-01-28

Total views
227 ( #40,844 of 2,426,581 )

Recent downloads (6 months)
1 ( #541,589 of 2,426,581 )

How can I increase my downloads?

Downloads

My notes