1
Published 1968
Springer Berlin Heidelberg

2
by Mundici, Daniele
Published 2012
Springer Milan
Table of Contents: '; ...Syntax -- Propositional Logic: Semantics -- Normal Forms -- Recap: Expressivity and Efficiency...

3
by Kornai, András
Published 2008
Springer London
Table of Contents: '; ...The elements -- Phonology -- Morphology -- Syntax -- Semantics -- Complexity -- Linguistic pattern...

4
by Srivastava, Shashi Mohan
Published 2008
Springer New York
Table of Contents: '; ...Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Proof...

5
by Srivastava, Shashi Mohan
Published 2013
Springer New York
Table of Contents: '; ...Preface -- 1 Syntax of First-Order Logic -- 2 Semantics of First-Order Languages -- 3 Propositional...

6
by Fenton, William E., Dubinsky, Ed
Published 1996
Springer New York
... - active participation by the student. Working with the programming language ISETL, whose syntax is close...

7
by Ebbinghaus, H.-D., Flum, J., Thomas, W.
Published 1994
Springer New York
Table of Contents: '; ...A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages...

8
by Smoryński, C.
Published 1985
Springer New York
Table of Contents: '; .... The Theory PRA -- 5. Encoding Syntax in PRA -- 6. Additional Arithmetic Prerequisites -- I. The Logic...

9
by Rocca, Simona Ronchi Della, Paolini, Luca
Published 2004
Springer Berlin Heidelberg
Table of Contents: '; ...I. Syntax -- 1. The Parametric ?-Calculus -- 2. The Call-by-Name ?-Calculus -- 3. The Call-by-Value...

10
by Bělohlávek, Radim
Published 2002
Springer US
Table of Contents: '; ... -- 3. Fuzzy Structures -- 3.1 Fuzzy sets and fuzzy relations -- 3.2 Fuzzy logic: syntax and semantics...

11
Published 2015
Springer International Publishing
Table of Contents: '; ... Computation, Philip Welch -- 4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich -- 5...

12
by Rautenberg, Wolfgang
Published 1995
Vieweg+Teubner Verlag
Table of Contents: '; ....1 Mathematische Strukturen -- 2.2 Syntax elementarer Sprachen -- 2.3 Semantik elementarer Sprachen -- 2...

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

14
by Dau, Frithjof
Published 2003
Springer Berlin Heidelberg
... the expressive power of first-order predicate logic. While doing so, the author distinguishes between syntax...

15
by Bolc, Leonard, Borowik, Piotr
Published 1992
Springer Berlin Heidelberg
... calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic...

16
by Bergmann, Eberhard, Noll, Helga
Published 1977
Springer Berlin Heidelberg
Table of Contents: '; ...-Entscheidbarkeit -- H3. Die Aufzählbarkeit der nicht erfüllbaren Formeln -- I. Eine „strikte“Syntax -- J...

17
by Andrews, Peter B.
Published 2002
Springer Netherlands
... with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness...

18
Published 2000
Springer Netherlands
... particular syntax and semantics, but also on its associated inference mechanism. In the present volume...

19
Published 1992
Springer Berlin Heidelberg
Table of Contents: '; ... to database theory -- Abstract syntax and logic programming -- Deduction search with generalized terms -- A...