Cover Image
Read Now

1
by Mueller, Erik T.
Published 2015
Elsevier Morgan Kaufmann
Table of Contents: “...; 2.1.1 Syntax of First-Order Logic; 2.1.2 Semantics of First-Order Logic; 2.1.3 Proof Theory; 2.1.4 Many...”