It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
October 5, 2021
Edit
History of edits to

Predicate Calculus and Program Semantics

Revision When Who Comment Diff
3 October 5, 2021
ImportBot
 import existing book    
2 February 24, 2020
Tom Morris
 merge authors    
1 July 6, 2019
MARC Bot
 import new book