MPG.eBooks - Search Results

1

by Bergmann, E., Noll, H.
Published 1977

Springer Berlin Heidelberg

Table of Contents: “... die Gestalt der Syntax einer mathematischen Logik -- § 5. Das weitere Vorgehen -- 3. Syntax und...”

2

by Fenton, William E., Dubinsky, Ed
Published 1996

Springer New York

Table of Contents: “... Propositional Calculus -- 2.1 Boolean Expressions -- 2.2 Implication and Proof -- Overview of Chapter 2 -- 3...”

3

by Rautenberg, Wolfgang
Published 1995

Vieweg+Teubner Verlag

Table of Contents: “... Mathematische Strukturen -- 2.2 Syntax elementarer Sprachen -- 2.3 Semantik elementarer Sprachen -- 2.4...”

4

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

5

by Belohlávek, Radim
Published 2002

Springer US

Table of Contents: “... approach: from resolving paradoxes to engineering applications -- 2.2 Graded truth and structures of truth...”