Cover Image
Read Now

1
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”