Works by Hubert H. Schneider - PhilPapers

Entries: 549,699 New this week: 732

General search Category finder


advanced search \| help

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Hubert H. Schneider ( view other items matching `Hubert H. Schneider`, view all matches )

Hubert H. Schneider (1980). Substitutions for Predicate Variables and Functional Variables. Notre Dame Journal of Formal Logic 21 (1):33-44.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Hubert H. Schneider (1976). A Deduction System for the Full First-Order Predicate Logic. Notre Dame Journal of Formal Logic 17 (3):439-445.
Predicate Logic in Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Arthur M. Bullock & Hubert H. Schneider (1973). On Generating the Finitely Satisfiable Formulas. Notre Dame Journal of Formal Logic 14 (3):373-376.
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 Sat May 25 12:56:12 2013 - Hash code: P7qDvwy7ePmHwoxC4u7bjA