Read-alikes and related books

Books like Model Theory

What to read after Model Theory by María Manzano: 24 titles sharing themes of Logic Design, Discrete Mathematics, Logic, and Computer Science, chosen for mood and literary overlap.

Logic Design Discrete Mathematics Logic Computer Science Mathematics Computers

Top related books to Model Theory

Read-alikes chosen for how well they continue the mood, themes, and voice of Model Theory.

Finite Automata, Formal Logic, and Circuit Complexity — Howard Straubing

Finite Automata, Formal Logic, and Circuit Complexity

Howard Straubing

Themes: Logic Design • Discrete Mathematics • Logic

Where Mathematics, Computer Science, Linguistics and Biology Meet — Gheorghe Păun

Where Mathematics, Computer Science, Linguistics and Biology Meet

Themes: Discrete Mathematics • Logic • Computer Science

Legacy Data: A Structured Methodology for Device Migration in DSM Technology A Structured Methodology for Device Migration in Dsm Technology — Pallab Chatterjee

Legacy Data: A Structured Methodology for Device Migration in DSM Technology A Structured Methodology for Device Migration in Dsm Technology

Pallab Chatterjee

Themes: Logic Design • Discrete Mathematics • Computer Science

The P=NP Question and Gödel’s Lost Letter — Richard J. Lipton

The P=NP Question and Gödel’s Lost Letter

Richard J. Lipton

Themes: Discrete Mathematics • Logic • Computer Science

Mathematical Approaches to Software Quality — Gerard O’Regan

Mathematical Approaches to Software Quality — Gerard O’Regan

Themes: Discrete Mathematics • Logic • Computer Science

Modelling and Reasoning with Vague Concepts — Jonathan Lawry

Modelling and Reasoning with Vague Concepts

Themes: Discrete Mathematics • Logic • Computer Science

Agency and the Semantic Web — Christopher Walton

Agency and the Semantic Web

Christopher Walton

Themes: Logic Design • Logic • Mathematics

Beginning Julia Programming For Engineers and Scientists — Sandeep Nagar

Beginning Julia Programming For Engineers and Scientists

Themes: Discrete Mathematics • Logic • Mathematics

Finite and Algorithmic Model Theory — Javier Esparza

Finite and Algorithmic Model Theory

Themes: Discrete Mathematics • Logic • Mathematics

Using Event-B for Critical Device Software Systems — Neeraj Kumar Singh

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

Themes: Discrete Mathematics • Logic • Mathematics

Mathematical Foundations of Computer Science Sets, Relations, and Induction — Peter A. Fejer

Mathematical Foundations of Computer Science Sets, Relations, and Induction

Themes: Discrete Mathematics • Logic • Mathematics

Mathematical Principles of Fuzzy Logic — Vilém Novák

Mathematical Principles of Fuzzy Logic

Themes: Discrete Mathematics • Logic • Mathematics

Basic Simple Type Theory — J. Roger Hindley

Basic Simple Type Theory

J. Roger Hindley

Themes: Discrete Mathematics • Logic • Mathematics

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday — John N. Crossley

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday

John N. Crossley

Themes: Discrete Mathematics • Logic • Mathematics

How to Prove It A Structured Approach — Daniel J. Velleman

How to Prove It A Structured Approach

Daniel J. Velleman

Themes: Discrete Mathematics • Logic • Mathematics

Theories of Computability — Nicholas Pippenger

Theories of Computability

Nicholas Pippenger

Themes: Discrete Mathematics • Logic • Mathematics

Mathematical Logic for Computer Science — Mordechai Ben-Ari

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Themes: Discrete Mathematics • Logic • Mathematics

Finite Fields Normal Bases and Completely Free Elements — Dirk Hachenberger

Finite Fields Normal Bases and Completely Free Elements

Dirk Hachenberger

Themes: Discrete Mathematics • Logic • Mathematics

CISSP® Study Guide — Joshua Feldman

CISSP® Study Guide

Themes: Discrete Mathematics • Computer Science • Mathematics

Graph Separators, with Applications — Arnold L. Rosenberg

Graph Separators, with Applications

Arnold L. Rosenberg

Themes: Discrete Mathematics • Computer Science • Mathematics

The Book of why The New Science of Cause and Effect — Judea Pearl

The Book of why The New Science of Cause and Effect

Themes: Discrete Mathematics • Computer Science • Mathematics

The Informational Complexity of Learning Perspectives on Neural Networks and Generative Grammar — Partha Niyogi

The Informational Complexity of Learning Perspectives on Neural Networks and Generative Grammar

Themes: Discrete Mathematics • Computer Science • Mathematics

Synthesis and Control of Discrete Event Systems — Benoît Caillaud

Synthesis and Control of Discrete Event Systems

Benoît Caillaud

Themes: Discrete Mathematics • Computer Science • Mathematics

Primality Testing and Integer Factorization in Public-Key Cryptography — Song Y. Yan

Primality Testing and Integer Factorization in Public-Key Cryptography

Themes: Discrete Mathematics • Computer Science • Mathematics

The 24 books on this list are tied together by themes of Logic Design, Discrete Mathematics, Logic — the same threads that run through Model Theory by María Manzano. Among the authors featured: Howard Straubing, Gheorghe Păun, Pallab Chatterjee, Richard J. Lipton, and others.

Explore more

More by María Manzano More books tagged Logic Design Explore Discrete Mathematics

An informational database of English-language books