Semantics and logics of computation
by Peter Dybjer
- ISBN
- 0521580579
Semantics and logics of computation is a electronic data processing, symbolic and mathematical logic book by Peter Dybjer.
Discover Semantics and logics of computation by Peter Dybjer, electronic data processing.
About the Author
Peter Dybjer is the author of Semantics and logics of computation. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Semantics and logics of computation?+
Semantics and logics of computation is a Electronic data processing, Symbolic and mathematical Logic, Semantics, Programming languages book.
Who wrote Semantics and logics of computation?+
Semantics and logics of computation was written by Peter Dybjer.