Born | 1944 |
3 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Born | 1944 |
Subjects
BCPL (Computer program language), Compiladores, Compiling (Electronic computers), Compiling (electronic computers), Computer programming, E vidence, Electronic digital computers, programming, Evidence, Logic, symbolic and mathematical, Logique, Mathematics, data processing, Mathematische Logik, Modern Logic, Programming languages (Electronic computers), Proof theory, ÉvidenceID Numbers
- OLID: OL1191912A
Links (outside Open Library)
No links yet. Add one?
August 19, 2008 | Edited by an anonymous user | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |