Search results for `R. M. Rizkalla` - PhilPapers

Entries: 549,198 New this week: 263

General search Category finder


advanced search \| help

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Search results for 'R. M. Rizkalla' (try it on Scholar)

Did you mean: R. M. Rizal

M. W. Bunder & R. M. Rizkalla (2009). Proof-Finding Algorithms for Classical and Subclassical Propositional Logics. Notre Dame Journal of Formal Logic 50 (3):261-273.score: 290.0
Computer Proof in Philosophy of Mathematics
Computer Science in Formal Sciences
Propositional Logic in Logic and Philosophy of Logic
Direct download (2 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 Fri May 24 16:55:55 2013 - Hash code: CiT/MMycFGcQcZCToPiJBw