Proof and Computation More Books Like This
PROOF AND COMPUTATION II
2021
Complexity, Logic, and Recursion Theory
2019
Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science
2020
Sets And Computations
2017
Proof Theory
2013
Computability Theory
2017
Elementary Induction on Abstract Structures
2014
Developments in Nonstandard Mathematics
2020
Structure And Randomness In Computability And Set Theory
2020
A First Course in Mathematical Logic and Set Theory
2015
Relations: Concrete, Abstract, and Applied
2020
NON-DIOPHANTINE ARITHMETICS IN MATH, PHY & PSYCHOLOGY
2020
ANALYSIS & BEYOND: AN INTRODUCTION WITH EXAMPLES & EXERCISES
2021
The Elements of Advanced Mathematics
2022