Revisions for BOYTAO

Entries: 556,747 New this week: 1,706

General search Category finder


advanced search \| help

Revision history for entry Boyer, Robert (manuscript). "The addition of bounded quantification and partial functions to a computational logic and its theorem prover" [BOYTAO]

NB: for privacy reasons, few details are provided in public revision histories.

Time

Type

Notes

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

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 05:33:33 2013 - Hash code: H3nkfNzm8h2sNfgq77vHEQ

Online research in philosophy

Revision history for entry Boyer, Robert (manuscript). "The addition of bounded quantification and partial functions to a computational logic and its theorem prover" [BOYTAO]