Cover Image
Read Now

1
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order...”