| Shelfclass_id | 4.B.1 |
| Sortkey | FLETCHER, PETER |
| Authors | Peter Fletcher |
| Title | Truth, Proof, and Infinity: A Theory of Constructions and Contructive Reasoning |
| Publisher | Kluwer Academic Press |
| Year | c1998 |
| Languages | eng |
| Isbn | 0792352629 |
| Series | Synthese library |
| Volume | 276 |
| Description | ix, 469 p. ill. 25 cm. |
| Record date | 20071022 |
| Location | Boston |
| Keywords | Mathematics, Arithmetic, Mathematical analysis |