1
by Frühwirth, Thom, Abdennadher, Slim
Published 2003
Springer Berlin Heidelberg
Table of Contents: '; ...Syntax and Semantics -- A.2 Basic Calculi and Normal Forms -- A.2.1 Substitutions -- A.2.2 Negation...

2
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...