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:
New Directions in Relevant Logic
New Directions in Relevant Logic
9783031699399
Published: 2025
$ 218.33  
The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications
The Logic, Philosophy, and History of the Lambda-Calculus : Theory and Applications
9783031728501
Published: 2025
$ 220.79  
Coherent Systems on Algebraic Curves
Coherent Systems on Algebraic Curves
9789814304177
Published: 2025
$ 125.09  
Abelian Model Category Theory
Abelian Model Category Theory
9781009449465
Published: 2025
$ 117.29  
Positive Topology : A New Practice in Constructive Mathematics
Positive Topology : A New Practice in Constructive Mathematics
9780199232888
Published: 2025
$ 220.97  
The Forcing Method in Set Theory : An Introduction Via Boolean Valued Logic
The Forcing Method in Set Theory : An Introduction Via Boolean Valued Logic
9783031716591
Published: 2024
$ 75.89  
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
9781071635964
Published: 2024
$ 303.59  
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
9783031537431
Published: 2024
$ 89.60  
Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
9783031635359
Published: 2024
$ 193.19  
Mathematics Before and after Pythagoras : Exploring the Foundations and Evolution of Mathematical Thought
Mathematics Before and after Pythagoras : Exploring the Foundations and Evolution of Mathematical Thought
9783031742231
Published: 2024
$ 259.92  
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Procee
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Procee
9783031572302
Published: 2024
$ 62.72  
Modeling and Control of Dynamic Spatially Distributed Systems : Pharmaceutical Processes
Modeling and Control of Dynamic Spatially Distributed Systems : Pharmaceutical Processes
9780323953924
Published: 2024
$ 276.00  
Programs As Diagrams : From Categorical Computability to Computable Categories
Programs As Diagrams : From Categorical Computability to Computable Categories
9783031348297
Published: 2024
$ 96.12  
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Procee
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Luxembourg City, Luxembourg, April 6-11, 2024, Procee
9783031572272
Published: 2024
$ 68.99  
R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
9789819758296
Published: 2024
$ 225.26  
R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
9789811986352
Published: 2024
$ 275.99  
Coalgebraic Methods in Computer Science : 17th IFIP WG 1. 3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Coalgebraic Methods in Computer Science : 17th IFIP WG 1. 3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
9783031664373
Published: 2024
$ 96.59  
Teasers : Challenge Yourself with 100 Lateral-Thinking Puzzles
Teasers : Challenge Yourself with 100 Lateral-Thinking Puzzles
9780008617967
Published: 2023
$ 27.59  
Introduction to Proofs and Proof Strategies
Introduction to Proofs and Proof Strategies
9781009096287
Published: 2023
$ 62.38  
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
9783031384981
Published: 2023
$ 61.48  
Browse Subject Headings