Mathematical Logic Springer

Modelling Computing Systems: Mathematics for Computer Science

Springer (9781848003217) | Computer Science

A Course on Mathematical Logic

Springer (9781461457459) | Course on Mathematical Logic

Logic for Concurrency and Synchronisation

Springer (9781402012709)

Multi-Criteria Decision Making Methods: A Comparative Study

Springer (9780792366072) | Multi-Criteria Decision Making Methods, Multi-Criteria Decision

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity

Line Drawing Interpretation

Springer (9781848002289) | Line Drawing Interpretation

Reading, Writing, and Proving: A Closer Look at Mathematics

Springer (9781441994783) | Undergraduate Texts in Mathematics

Abstraction, Refinement and Proof for Probabilistic Systems

Springer (9780387401157)

Computation Engineering: Applied Automata Theory and Logic

Springer (9780387244181)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

Springer (9781402007637)

Constraint Processing: Selected Papers: 923 (Lecture Notes in Computer Science, 923

Lectures on Boolean Algebras

(9780387402932 / 10 black & white illustrations, biograph)

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry

(9783319972978) - Roman Kossak