Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
William M. Farmer
Download Now
Format: eBook (PDF)
Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Mohua Banerjee
Download Now
Format: eBook (EPUB)
Algorithms for Constructing Computably Enumerable Sets
Kenneth J. Supowit
Download Now
Format: eBook (EPUB)
Essays on the Extended Evolutionary Synthesis : Formalizations and Expansions
Rodrick Wallace
Download Now
Format: eBook (EPUB)
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
Roman Murawski
Download Now
Format: eBook (PDF)
Constant Mean Curvature Surfaces, Harmonic Maps and Integrable Systems
Frederic Helein
Download Now
Format: eBook (PDF)
Automorphisms of the Lattice of Recursively Enumerable Sets
Peter A Cholak
Download Now
Format: eBook (PDF)