Truth, proof, and infinity : a theory of constructions and contructive reasoning / Peter Fletcher.
Saved in:
| Published: |
Dordrecht ; Boston :
Kluwer Academic,
c1998.
|
|---|---|
| Main Author: | |
| Series: | Synthese library
v. 276 |
| Subjects: | |
| Format: | Book |
EPS Library, Level 2
|
Call Number
Copy
Loan Type
Status
Request
|
|||||
