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, Computer science, Curry-Howard isomorphism, Functional programming (Computer science), Funktionale Programmierung, Lambda calculus, Logic design, Logic, symbolic and mathematical, Logics and Meanings of Programs, Mathematical Logic and Foundations, Models and Principles, Programming Techniques, Software Engineering/Programming and Operating Systems, 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 |