Semantics And Logics Of Computation
Semantics And Logics Of Computation
Peter Dybjer
Details
OL Work ID
OL17384686W
Subjects
Electronic data processing
Programming languages (electronic computers)
Logic, symbolic and mathematical
Find this book
Open Library