This selection contains titles in Computer Science

## Refine Search

### Content Type

### Topics

- Mathematical Logic and Foundations 103 Remove
- Mathematical Logic and Formal Languages 10
- Artificial Intelligence 8
- Algebra 5
- Order, Lattices, Ordered Algebraic Structures 5

- Mathematics (general) 4
- Analysis 4
- Number Theory 4
- Topology 4
- Discrete Mathematics in Computer Science 3
- General Algebraic Systems 3
- Computer System Implementation 2
- Software Engineering / Programming and Operating Systems 2
- Theory of Computation 2
- Measure and Integration 2
- Real Functions 2
- Discrete Mathematics 2
- Mathematics Education 2
- Logic 1
- Philosophy of Language 1
- Philosophy of Science 1
- Philosophy of Mathematics 1
- Computation by Abstract Devices 1
- Logics and Meanings of Programs 1
- Mathematical Applications in Computer Science 1
- Cryptology 1
- Algebraic Geometry 1
- Category Theory, Homological Algebra 1
- Applications of Mathematics 1
- Algorithms 1
- Computational Science and Engineering 1
- Geometry 1
- Operations Research, Mathematical Programming 1
- Combinatorics 1
- Statistics (general) 1

### Release Date

### Language

#### Logics for Computer Science

**Available Formats:**
Hardcover
eBook

#### Special Topics in Mathematics for Computer Scientists

**Available Formats:**
eBook
Hardcover
Softcover

#### Logic, Mathematics, and Computer Science

**Available Formats:**
eBook
Hardcover
Softcover

#### Mathematical Logic

**Available Formats:**
Hardcover
eBook

#### A Course on Mathematical Logic

**Available Formats:**
Softcover
eBook

#### Mathematical Logic for Computer Science

**Available Formats:**
Softcover
eBook

#### Logic: a Brief Course

**Available Formats:**
Softcover
eBook

#### A Beginner's Guide to Discrete Mathematics

**Available Formats:**
Hardcover
eBook

#### Logic for Computer Scientists

**Available Formats:**
Softcover
eBook

#### Parameterized Complexity Theory

**Available Formats:**
Softcover
Hardcover
eBook

#### A Beginner’s Guide to Finite Mathematics

**Available Formats:**
eBook

#### Interactive Theorem Proving and Program Development

**Available Formats:**
eBook
Softcover
Hardcover

#### Elements of Finite Model Theory

**Available Formats:**
Softcover
Hardcover
eBook

#### The Parametric Lambda Calculus

**Available Formats:**
Softcover
Hardcover
eBook

#### Lectures on Concurrency and Petri Nets

**Available Formats:**
Softcover
eBook

#### A Beginner’s Guide to Discrete Mathematics

**Available Formats:**
eBook

#### An Introduction to Fuzzy Logic and Fuzzy Sets

**Available Formats:**
Softcover
eBook

#### Rough Sets

**Available Formats:**
Softcover
eBook

#### An Introduction to Mathematical Logic and Type Theory

**Available Formats:**
Softcover
Hardcover
eBook