Logic Theory

Cryptography And Computational Number Theory (Progress In Computer Science And Applied Logic (Pcs))

The Concepts And Logic Of Classical Thermodynamics As A Theory Of Heat Engines

Proof Theory And Algebra In Logic

Epistemic Game Theory And Logic

The Logic Of Theory Change

The Semantics And Proof Theory Of The Logic Of Bunched Implications

Logic - The Theory Of Inquiry

Logic In The Theory And Practice Of Lawmaking

Theory Of Effective Propositional Paraconsistent Logics

Computational Logic And Set Theory

Domain Theory, Logic And Computation

Computational Logic And Set Theory

An Introduction To Mathematical Logic And Type Theory

Foundations Of The Logical Theory Of Scientific Knowledge (Complex Logic)

Integration Of Fuzzy Logic And Chaos Theory

Hybrid Logic And Its Proof-Theory

Introduction To Logic And Theory Of Knowledge

Problems In Set Theory, Mathematical Logic And The Theory Of Algorithms

Model Theory For Modal Logic

Algebra, Logic, Set Theory

Fundamentals Of Switching Theory And Logic Design

Foundations Of Logic And Theory Of Computation

Logic And The Foundations Of Game And Decision Theory (Loft 7)

Proof Theory Of Modal Logic

An Introduction To Mathematical Logic And Type Theory

Model Theory For Modal Logic

Logic - The Theory Of Inquiry

Computation Theory And Logic

Mathematical Logics And Model Theory - A Brief Introduction

Logic In The Theory And Practice Of Lawmaking

Meta-Argumentation. An Approach To Logic And Argumentation Theory

Fundamentals Of The Fuzzy Logic-Based Generalized Theory Of Decisions

Computational Logic And Proof Theory

The Logic Of Discovery: A Theory Of The Rationality Of Scientific Research

Foundations Of The Logical Theory Of Scientific Knowledge (Complex Logic)

Beyond Two: Theory And Applications Of Multiple-Valued Logic

Epistemic Logic And The Theory Of Games And Decisions

Completeness Theory For Propositional Logics

Proof Theory Of Modal Logic

Fundamentals Of The Fuzzy Logic-Based Generalized Theory Of Decisions

Fundamentals Of Switching Theory And Logic Design

Domain Theory, Logic And Computation

The Semantics And Proof Theory Of The Logic Of Bunched Implications

Hybrid Logic And Its Proof-Theory

Switching Theory For Logic Synthesis