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
Set Theory
2011
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
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Developments in Nonstandard Mathematics
2020
The Theory of Functions of Real Variables
2012
A Graduate Course in Algebra
2017
Algebra, Logic and Combinatorics
2016