Elements of Logic via Numbers and Sets
D.L. Johnson
Download - Immediately Available
Format: eBook (PDF)
On Constructive Interpretation of Predictive Mathematics (1990)
Charles Parsons
Download - Immediately Available
Format: eBook (EPUB)
On Constructive Interpretation of Predictive Mathematics (1990)
Charles Parsons
Download - Immediately Available
Format: eBook (PDF)
Proof Analysis : A Contribution to Hilbert's Last Problem
Sara Negri
Download - Immediately Available
Format: eBook (PDF)
Introduction to Category Theory
Harold Simmons
Download - Immediately Available
Format: eBook (EPUB)
Formal Languages in Logic : A Philosophical and Cognitive Analysis
Catarina Dutilh Novaes
Download - Immediately Available
Format: eBook (PDF)
Formal Languages in Logic : A Philosophical and Cognitive Analysis
Catarina Dutilh Novaes
Download - Immediately Available
Format: eBook (EPUB)
Recursion Theory and Computational Complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
G. Lolli
Download - Immediately Available
Format: eBook (PDF)
Aspects of Mathematical Logic : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
E. Casari
Download - Immediately Available
Format: eBook (PDF)
Banach Spaces and Descriptive Set Theory: Selected Topics
Pandelis Dodos
Download - Immediately Available
Format: eBook (PDF)
Hyperfinite Dirichlet Forms and Stochastic Processes
Sergio Albeverio
Download - Immediately Available
Format: eBook (PDF)
From Objects to Diagrams for Ranges of Functors
Pierre Gillibert
Download - Immediately Available
Format: eBook (PDF)
Stochastic Calculus with Infinitesimals
Frederik S. Herzberg
Download - Immediately Available
Format: eBook (PDF)
Formal Concept Analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings
Peggy Cellier
Download - Immediately Available
Format: eBook (PDF)
Unconventional Computation and Natural Computation : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
Giancarlo Mauri
Download - Immediately Available
Format: eBook (PDF)
Duality and Definability in First Order Logic
Michael Makkai
Download - Immediately Available
Format: eBook (PDF)
Logic Colloquium '99 : Lecture Notes in Logic 17
Jan Van Eijck
Download - Immediately Available
Format: eBook (PDF)
The Pea and the Sun : A Mathematical Paradox
Leonard M. Wapner
Download - Immediately Available
Format: eBook (PDF)
Logic Colloquium 2000 (hardcover) : Lecture Notes in Logic, 19
Rene Cori
Download - Immediately Available
Format: eBook (PDF)
Logic Colloquium '02 : Lecture Notes in Logic 27
Zoe Chatzidakis
Download - Immediately Available
Format: eBook (PDF)