Books in this topic

Logic

Solvable Cases of the Decision Problem

1954 · ENGLISH · DJVU

View details

An Algebraic Approach to Non-Classical Logics

1974 · ENGLISH · PDF

View details

Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2025 · ENGLISH · PDF

View details

Academic Judgments Between Logics of Truth and Game

2025 · ENGLISH · PDF

View details

1615 Questões Comentadas de Raciocínio Lógico-Matemático

2021 · PORTUGUESE · PDF

View details

Raciocínio lógico-matemático de A a Z

2021 · PORTUGUESE · PDF

View details

Set Theory: An Introduction to Axiomatic Reasoning

2025 · ENGLISH · EPUB

View details

Programs as Diagrams: From Categorical Computability to Computable Categories

2023 · ENGLISH · PDF

View details

LOGIC, BIVALENCE AND DENOTATION

1987 · ENGLISH · PDF

View details

Elements of Finite Model Theory

2012 · ENGLISH · PDF

View details

Elements of Purity

2024 · ENGLISH · PDF

View details

Mathematical Notations

2024 · ENGLISH · PDF

View details

Institution-independent Model Theory

2025 · ENGLISH · PDF

View details

Higher Recursion Theory and Set Theory

2025 · ENGLISH · PDF

View details

A Beginner’s Guide to Mathematical Proof

2025 · ENGLISH · PDF

View details

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

2024 · ENGLISH · PDF

View details

Estimation of Structural Models Using Experimental Data From the Lab and the Field

2023 · ENGLISH · PDF

View details

An Introduction to Mathematical Logic

2013 · ENGLISH · PDF

View details

Logical Number Theory I: An Introduction

1991 · ENGLISH · PDF

View details

Proofs from THE BOOK

2018 · ENGLISH · PDF

View details

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic

2024 · ENGLISH · PDF

View details

Lógica dinámica

1969 · SPANISH · PDF

View details

Formy jazyka: Úvod do logiky a její filosofie

2016 · CZECH · PDF

View details

Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre /// (Version Complétée de l'UE UGA INF402 Année 2020/2021)

2012 · FRENCH · PDF

View details