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

You must enter a search term!
Browse Subject Headings
Logic
Logic
Publications for:-  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  
Arithmetic and Algebraic Geometry : A Mathematical Tribute to Yuri Manin
Arithmetic and Algebraic Geometry : A Mathematical Tribute to Yuri Manin
9783031741333
Published: 2025
$ 244.17  
Advances in Brain Inspired Cognitive Systems : 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Advances in Brain Inspired Cognitive Systems : 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
9789819628810
Published: 2025
$ 93.90  
Unequal : The Math of When Things Do and Don't Add Up
Unequal : The Math of When Things Do and Don't Add Up
9781541606555
Published: 2025
$ 44.80  
Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, on, Canada, May 3-8, 2025, Proceedings
Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, on, Canada, May 3-8, 2025, Proceedings
9783031908965
Published: 2025
$ 65.72  
Computable Structure Theory : A Unified Approach
Computable Structure Theory : A Unified Approach
9783031924323
Published: 2025
$ 206.60  
Algebraic Probabilistic Consistency : Boole, Łukasiewicz, de Finetti, Kolmogorov
Algebraic Probabilistic Consistency : Boole, Łukasiewicz, de Finetti, Kolmogorov
9783031983368
Published: 2025
$ 187.82  
Mastering Quantum Mechanics
Mastering Quantum Mechanics
9783032090102
Published: 2025
$ 125.99  
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  
Browse Subject Headings