Works by Daniel Leivant

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Daniel Leivant ( view other items matching `Daniel Leivant`, view all matches )
Disambiguations:

Daniel Leivant [5] Daniel Maurice Raphaël Leivant [1]

6 found

Sort by:

Daniel Leivant (1985). Syntactic Translations and Provably Recursive Functions. Journal of Symbolic Logic 50 (3):682-688.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Daniel Leivant (1983). The Optimality of Induction as an Axiomatization of Arithmetic. Journal of Symbolic Logic 48 (1):182-184.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Daniel Leivant (1981). Implicational Complexity in Intuitionistic Arithmetic. Journal of Symbolic Logic 46 (2):240-248.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Daniel Leivant (1981). On the Proof Theory of the Modal Logic for Arithmetic Provability. Journal of Symbolic Logic 46 (3):531-538.
Modal and Intensional Logic in Logic and Philosophy of Logic
Proof Theory in Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Daniel Leivant (1980). Innocuous Substitutions. Journal of Symbolic Logic 45 (2):363-368.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Daniel Maurice Raphaël Leivant (1979). Absoluteness of Intuitionistic Logic. Mathematisch Centrum.
Intuitionistic Logic in Logic and Philosophy of Logic
$135.00 used Amazon page

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

RSS feed

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy

Works by Daniel Leivant ( view other items matching `Daniel Leivant`, view all matches )
Disambiguations:

Daniel Leivant [5] Daniel Maurice Raphaël Leivant [1]

Online research in philosophy

Works by Daniel Leivant ( view other items matching `Daniel Leivant`, view all matches ) Disambiguations: Daniel Leivant [5]Daniel Maurice Raphaël Leivant [1]

Works by Daniel Leivant ( view other items matching `Daniel Leivant`, view all matches )
Disambiguations:

Daniel Leivant [5] Daniel Maurice Raphaël Leivant [1]