E-Recursion, Forcing and C*-Algebras More Books Like This
Mathematical Logic and Theoretical Computer Science
2020
Logic and Algebra
2017
Complexity, Logic, and Recursion Theory
2019
Proof Theory
2013
General Topology and Applications
2020
Elementary Induction on Abstract Structures
2014
Function Spaces
2020
An Introduction to the Geometrical Analysis of Vector Fields
2018
Operator Functions And Operator Equations
2017
Developments in Nonstandard Mathematics
2020
The Theory of Functions of Real Variables
2012
A Graduate Course in Algebra
2017
Algebra, Logic and Combinatorics
2016
A First Course in Mathematical Logic and Set Theory
2015
Algebraic Number Theory
2012