2 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?
Subjects
Proof theory, Abstract data types (Computer science), Algebraische Methode, Curry-Howard isomorphism, Functional programming (Computer science), Funktionale Programmierung, Lambda calculus, Logic, symbolic and mathematical, Software engineering, Softwareentwicklung, Symbolic and mathematical LogicID Numbers
- OLID: OL2680103A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |