Works by Andre Scedrov - PhilPapers

Entries: 556,803 New this week: 1,686

General search Category finder


advanced search \| help

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Andre Scedrov ( view other items matching `Andre Scedrov`, view all matches )

Patrick D. Lincoln, John C. Mitchell & Andre Scedrov (1996). Linear Logic Proof Games and Optimization. Bulletin of Symbolic Logic 2 (3):322-338.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Andreas Blass & Andre Scedrov (1986). Small Decidable Sheaves. Journal of Symbolic Logic 51 (3):726-731.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Andre Scedrov (1986). Some Properties of Epistemic Set Theory with Collection. Journal of Symbolic Logic 51 (3):748-754.
Logic and Philosophy of Logic
Direct download (3 more)

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:

Email

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 ...

Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Hosted by The Institute of Philosophy, School of Advanced Study, University of London

This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Tue Jun 18 23:25:17 2013 - Hash code: QKD5p31hLwLB77rkIKthAA