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:
Abelian Model Category Theory
Abelian Model Category Theory
9781009449465
Published: 2025
$ 112.62  
Coherent Systems on Algebraic Curves
Coherent Systems on Algebraic Curves
9789814304177
Published: 2025
$ 125.09  
Positive Topology : A New Practice in Constructive Mathematics
Positive Topology : A New Practice in Constructive Mathematics
9780199232888
Published: 2025
$ 172.50  
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  
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  
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
$ 296.57  
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  
Mathematical Foundations of Fuzzy Sets
Mathematical Foundations of Fuzzy Sets
9781119981527
Published: 2023
$ 186.30  
The Baseball Mysteries : Challenging Puzzles for Logical Detectives
The Baseball Mysteries : Challenging Puzzles for Logical Detectives
9781032365480
Published: 2023
$ 137.93  
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
9783031370021
Published: 2023
$ 344.99  
Browse Subject Headings