Date of Original Version

2007

Type

Article

Published In

Journal of Automated Reasoning 38 (4), May 2007: 353-373.

Abstract or Table of Contents

Let F be the set of functions from an infinite set, S, to an ordered ring, R.


Download

Included in

Philosophy Commons

Share

COinS