Decidable Theories : Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic
Dirk Siefkes
Download - Immediately Available
Format: eBook (PDF)
The Axiom of Constructibility : A Guide for the Mathematician
K. J. Devlin
Download - Immediately Available
Format: eBook (PDF)
Recursion on the Countable Functionals
D. Normann
Download - Immediately Available
Format: eBook (PDF)
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
R.B. Jensen
Download - Immediately Available
Format: eBook (PDF)
The Enumerative Theory of Conics after Halphen
Eduardo Casas-Alvero
Download - Immediately Available
Format: eBook (PDF)
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Steven Homer
Download - Immediately Available
Format: eBook (PDF)
Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
Mohamed Bekkali
Download - Immediately Available
Format: eBook (PDF)
Nonstandard Asymptotic Analysis
Imme van den Berg
Download - Immediately Available
Format: eBook (PDF)
Model Theory and Applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
P. Mangani
Download - Immediately Available
Format: eBook (PDF)
Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
Lou van den Dries
Download - Immediately Available
Format: eBook (PDF)
Introduction to Mathematical Structures and Proofs
Larry J. Gerstein
Download - Immediately Available
Format: eBook (PDF)
Non-commutative Multiple-Valued Logic Algebras
Lavinia Corina Ciungu
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic : Exercises and Solutions
Laszlo Csirmaz
Download - Immediately Available
Format: eBook (PDF)
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Clara Loh
Download - Immediately Available
Format: eBook (PDF)
Saturated Model Theory (2nd Edition)
Sacks Gerald E Sacks
Download - Immediately Available
Format: eBook (PDF)
Problems With A Point: Exploring Math And Computer Science
Gasarch William Gasarch
Download - Immediately Available
Format: eBook (PDF)
Reasoning About Theoretical Entities
Forster Thomas E Forster
Download - Immediately Available
Format: eBook (PDF)
Memoirs Of A Proof Theorist: Godel & Other Logicians
Passell Nicholas Passell
Download - Immediately Available
Format: eBook (PDF)