Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Subjects: “...Computer logic...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
Table of Contents: “...Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich...”