Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen.
By: Brouwer, L. E. J. (Luitzen Egbertus Jan)
Contributor(s): Dalen, D. van (Dirk)
Material type:
TextPublisher: Cambridge ; New York : Cambridge University Press, 1981Description: xii, 109 p., [1] leaf of plates : illISBN: 0521234417; 9780521234412Subject(s): Intuitionistic mathematicsDDC classification: 511/.2 LOC classification: QA9.47 | .B76 1980
| Item type | Current library | Class number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books / Monographs |
Dominican University College Library / Collège Universitaire Dominicain
Hours of operation: Monday - Thursday 8am - 8:30 pm; Friday 8am - 4pm | Les heures d'ouverture : Lundi à jeudi de 8 h à 20 h 30; vendredi 8h - 16h
Standard shelving location / Rayonnage standard
|
QA 9 .47 B76 D34 1981 (Browse shelf (Opens below)) | Available | 90568-1001 |
Browsing Dominican University College Library / Collège Universitaire Dominicain shelves, Shelving location: Standard shelving location / Rayonnage standard Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
| QA 9 .2 T87 A43 2014 Alan Turing's Systems of Logic: The Princeton Thesis | QA 9 .4 P75 I58 2016 An Introduction to Non-Classical Logic | QA 9 .45 M35 1993 Many-Valued Logics | QA 9 .47 B76 D34 1981 Brouwer's Cambridge lectures on intuitionism / | QA 9 .54 L34 P76 1999 Proofs and refutations : the logic of mathematical discovery / | QA 9 .54 P77 1992 Proof, Logic and Formalization | QA 9.7 M35 M63 1999 Model Theory |
Includes index.
Bibliography: p. 103-105.
Reproduced from digitized version.
There are no comments on this title.