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:
Positive Topology : A New Practice in Constructive Mathematics
Positive Topology : A New Practice in Constructive Mathematics
9780199232888
Published: 2026
$ 156.25  
Coherent Systems on Algebraic Curves
Coherent Systems on Algebraic Curves
9789814304177
Published: 2025
$ 113.31  
New Directions in Relevant Logic
New Directions in Relevant Logic
9783031699399
Published: 2025
$ 197.76  
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
$ 199.99  
Abelian Model Category Theory
Abelian Model Category Theory
9781009449465
Published: 2025
$ 106.24  
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
$ 87.49  
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
$ 68.74  
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
$ 274.99  
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
9783031537431
Published: 2024
$ 81.16  
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
$ 174.99  
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
$ 235.44  
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
$ 56.81  
Modeling and Control of Dynamic Spatially Distributed Systems : Pharmaceutical Processes
Modeling and Control of Dynamic Spatially Distributed Systems : Pharmaceutical Processes
9780323953924
Published: 2024
$ 250.00  
Programs As Diagrams : From Categorical Computability to Computable Categories
Programs As Diagrams : From Categorical Computability to Computable Categories
9783031348297
Published: 2024
$ 87.06  
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
$ 62.49  
R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
9789819758296
Published: 2024
$ 204.04  
R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
9789811986352
Published: 2024
$ 249.99  
Mathematical Foundations of Fuzzy Sets
Mathematical Foundations of Fuzzy Sets
9781119981527
Published: 2023
$ 168.75  
The Baseball Mysteries : Challenging Puzzles for Logical Detectives
The Baseball Mysteries : Challenging Puzzles for Logical Detectives
9781032365053
Published: 2023
$ 37.44  
Metadata and Semantic Research : 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers
Metadata and Semantic Research : 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers
9783031391408
Published: 2023
$ 99.99  
Browse Subject Headings