Oakleafbooks Online Library -- A Global Books Research Catalogue
And a Bookstore - We deliver Worldwide

You must enter a search term!
Browse Subject Headings
Mathematical logic
Mathematical logic
Publications for:-  Mathematical logic
Filter on:
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
9783031851896
Published: 2026
$ 122.08  
Computable Structure Theory : Beyond the Arithmetic
Computable Structure Theory : Beyond the Arithmetic
9781108490252
Published: 2026
$ 216.01  
The Book of Infinity
The Book of Infinity
9780262054010
Published: 2026
$ 105.00  
An Introduction to String Diagrams for Computer Scientists
An Introduction to String Diagrams for Computer Scientists
9781009625746
Published: 2025
$ 31.93  
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness : Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness : Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
9783031845949
Published: 2025
$ 122.08  
Limits and Derivatives of Real Functions for Physicists
Limits and Derivatives of Real Functions for Physicists
9781032967097
Published: 2025
$ 185.74  
Polynomial Functors : A Mathematical Theory of Interaction
Polynomial Functors : A Mathematical Theory of Interaction
9781009576710
Published: 2025
$ 140.88  
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
9783031966835
Published: 2025
$ 206.60  
Differential and Integral Calculus : Implicit Functions, Stieltjes Integrals and Curvilinear Integrals
Differential and Integral Calculus : Implicit Functions, Stieltjes Integrals and Curvilinear Integrals
9783119144629
Published: 2025
$ 131.59  
The Principles of Probability : From Formal Logic to Measure Theory to the Principle of Indifference
The Principles of Probability : From Formal Logic to Measure Theory to the Principle of Indifference
9783032094490
Published: 2025
$ 122.08  
Abelian Model Category Theory
Abelian Model Category Theory
9781009449465
Published: 2025
$ 118.99  
Logic in Computer Science
Logic in Computer Science
9789819798155
Published: 2025
$ 103.29  
An Introduction to String Diagrams for Computer Scientists
An Introduction to String Diagrams for Computer Scientists
9781009625708
Published: 2025
$ 93.90  
Logic for Dummies
Logic for Dummies
9781394362349
Published: 2025
$ 35.67  
The New Mathematical Coloring Book : Mathematics of Coloring and the Colorful Life of Its Creators
The New Mathematical Coloring Book : Mathematics of Coloring and the Colorful Life of Its Creators
9781071635995
Published: 2025
$ 338.09  
Compact Closed 2-Categories : Duality, Enrichment, and Strictification
Compact Closed 2-Categories : Duality, Enrichment, and Strictification
9783119148153
Published: 2025
$ 276.73  
Uni-Variate Polynomials in Analysis : Hyperbolic Polynomials, Order of Moduli, and Descartes' Rule of Signs
Uni-Variate Polynomials in Analysis : Hyperbolic Polynomials, Order of Moduli, and Descartes' Rule of Signs
9783119143554
Published: 2025
$ 275.77  
Principles of Formal Quantitative Analysis : Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Principles of Formal Quantitative Analysis : Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
9783031974380
Published: 2025
$ 122.08  
Advances in Brain Inspired Cognitive Systems : 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
Advances in Brain Inspired Cognitive Systems : 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
9789819628841
Published: 2025
$ 90.99  
Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 41st IMAC, a Conference and Exposition on Structural Dynamics 2023
Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 41st IMAC, a Conference and Exposition on Structural Dynamics 2023
9783031370052
Published: 2025
$ 413.23  
Browse Subject Headings