Truth, proof, and infinity : a theory of constructions and contructive reasoning
Finna-arvio
Truth, proof, and infinity : a theory of constructions and contructive reasoning
Tallennettuna:
| Ulkoasu |
ix, 469 pages : ill. ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Dordrecht ; Boston :
Kluwer Academic,
1998.
|
| Sarja | Synthese library, vol. 276. |
| Aiheet | |
| Lisätiedot | Peter Fletcher |
| Bibliografia |
Includes bibliographical references (p. 449-458) and indexes. |
| ISBN |
0-7923-5262-9 kovakantinen alkaline paper |