Logicism renewed - logical foundations for mathematics and computer science
- Författare
- Paul C. (Paul Carl) Gilmore
- (Paul C. Gilmore.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2016 | Storbritannien, Cambridge | 1 online resource (xvii, 260 pages) digital, PDF file(s). | 978-1-316-75580-8 |
| Association for Symbolic Logic | c2005 | Massachusetts, Wellesley, Mass | 230 sidor. | 978-1-56881-275-5, 1-56881-275-2, 978-1-56881-276-2, 1-56881-276-0 |
| Cambridge University Press | Utgivningsland okänt / Ej specificerat |