1,363 followers
Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification https://t.co/u65S0DHnPP
Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification https://t.co/u65S0DHnPP
RT @Jose_A_Alonso: Fundamentals of logic and computation (With practical automated reasoning and verification). Zhe Hou. https://t.co/GpShB…
Fundamentals of logic and computation (With practical automated reasoning and verification). Zhe Hou. https://t.co/GpShBC54QT #eBook #Logic #CompSci #ITP #IsabelleHOL