This selection contains titles in Computer Science

## Refine Search

### Content Type

### Topics

- Mathematical Logic and Formal Languages 57 Remove
- Mathematical Logic and Foundations 10
- Logics and Meanings of Programs 9
- Logic 5
- Software Engineering 5

- Theory of Computation 5
- Programming Languages, Compilers, Interpreters 3
- Epistemology 2
- Discrete Mathematics in Computer Science 2
- Artificial Intelligence 2
- Mathematics (general) 2
- Analytic Philosophy 1
- Arithmetic and Logic Structures 1
- Computer Communication Networks 1
- Computer System Implementation 1
- Computation by Abstract Devices 1
- User Interfaces and Human Computer Interaction 1
- Group Theory and Generalizations 1
- Combinatorics 1
- Computational Linguistics 1

### Release Date

### Language

#### Proof Theory and Algebra in Logic

**Available Formats:**
Softcover
eBook

#### Formal Languages and Compilation

**Available Formats:**
Hardcover
eBook

#### Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)

**Available Formats:**
Hardcover

#### Logical Foundations of Cyber-Physical Systems

**Available Formats:**
Hardcover
eBook
Softcover

#### Introduction to Formal Philosophy

**Available Formats:**
Hardcover
eBook
Softcover

#### Philosophical and Mathematical Logic

**Available Formats:**
Hardcover
eBook

#### Formal Methods for Nonmonotonic and Related Logics

**Available Formats:**
Hardcover
eBook

#### Formal Methods for Nonmonotonic and Related Logics

**Available Formats:**
Hardcover
eBook

#### Concise Guide to Formal Methods

**Available Formats:**
Softcover
eBook

#### Applied Logic for Computer Scientists

**Available Formats:**
Softcover
eBook

#### Readings in Formal Epistemology

**Available Formats:**
Hardcover
eBook
Softcover

#### Special Topics in Mathematics for Computer Scientists

**Available Formats:**
Hardcover
eBook
Softcover

#### Logic, Mathematics, and Computer Science

**Available Formats:**
Hardcover
eBook
Softcover

#### Mathematical Logic

**Available Formats:**
Hardcover
eBook

#### Formal Languages and Compilation

**Available Formats:**
eBook
Softcover

#### Modelling Computing Systems

**Available Formats:**
Softcover
eBook

#### A Course on Mathematical Logic

**Available Formats:**
Softcover
eBook

#### The Logic of Categorial Grammars

**Available Formats:**
Softcover
eBook

#### Mathematical Logic for Computer Science

**Available Formats:**
Softcover
eBook

#### Logic: a Brief Course

**Available Formats:**
Softcover
eBook