Cover Image
Read Now

1
by Frühwirth, Thom, Abdennadher, Slim
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- 2 Prädikatenlogik und Kalküle -- 2.1 Syntax -- 2.2 Semantik -- 2.3 Logische Kalküle -- 3...”