|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | The QED Manifesto Revisited |
| Author(s): | Wiedijk, F. (073588261)
Matuszewski, Roman
Zalewska, Anna |
| Publication year: | 2007 |
| Document type: | Part of book or chapter of book |
| Book title: | From insight to proof : festschrift in honour of Andrzej Trybulec |
| ISBN: | 8374311282
9788374311281 |
| Start page: | p. 121 |
| End page: | p. 134 |
| Series: | Studies in logic ; 10(23) |
| Publisher: | Białystok : University of Białystok |
| Subject: | Foundations |
| Organization: | Foundations |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/36567
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
