Mathematical logic [electronic resource] / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others]
Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and math...
Saved in:
| Online Access: |
Full Text (via ScienceDirect) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; New York :
Elsevier Science,
2001.
|
| Series: | Turing, Alan, 1912-1954. Works. 1990.
|
| Subjects: |
Internet
Full Text (via ScienceDirect)Online
| Call Number: |
QA9.2 .T87 2001eb
|
|---|---|
| QA9.2 .T87 2001eb | Available |