Date of Original Version

2007

Type

Article

Published In

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

Rights Management

The original publication is available at www.springerlink.com.

Abstract or Description

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

DOI

10.1007/s10817-007-9066-1

Included in

Philosophy Commons

Share

COinS