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:
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
$ 134.81  
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: 2025
$ 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
$ 268.84  
Positive Topology : A New Practice in Constructive Mathematics
Positive Topology : A New Practice in Constructive Mathematics
9780199232888
Published: 2024
$ 172.50  
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  
Modelling and Control of Dynamic Spatially Distributed Systems : Pharmaceutical Processes
Modelling and Control of Dynamic Spatially Distributed Systems : Pharmaceutical Processes
9780323953924
Published: 2024
$ 292.14  
Programs As Diagrams : From Categorical Computability to Computable Categories
Programs As Diagrams : From Categorical Computability to Computable Categories
9783031348297
Published: 2024
$ 89.69  
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
$ 234.59  
R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
9789811986352
Published: 2024
$ 275.99  
Abelian Model Category Theory
Abelian Model Category Theory
9781009449465
Published: 2024
$ 116.49  
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  
New Directions in Relevant Logic
New Directions in Relevant Logic
9783031699399
Published: 2024
$ 220.79  
The Mathematical Representation of Physical Reality
The Mathematical Representation of Physical Reality
9783031212536
Published: 2023
$ 79.05  
Multi-Criteria Decision Making Methods with Bipolar Fuzzy Sets
Multi-Criteria Decision Making Methods with Bipolar Fuzzy Sets
9789819905683
Published: 2023
$ 231.74  
The Times Puzzle Books - Times Mindset Puzzles Book 1 : 450 Lateral-Thinking Brainteasers
The Times Puzzle Books - Times Mindset Puzzles Book 1 : 450 Lateral-Thinking Brainteasers
9780008618131
Published: 2023
$ 23.28  
Browse Subject Headings