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:
New Directions in Relevant Logic
New Directions in Relevant Logic
9783031699399
Published: 2025
$ 208.69  
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
$ 208.69  
Positive Topology : A New Practice in Constructive Mathematics
Positive Topology : A New Practice in Constructive Mathematics
9780199232888
Published: 2025
$ 208.70  
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
$ 112.62  
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
$ 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  
The Baseball Mysteries : Challenging Puzzles for Logical Detectives
The Baseball Mysteries : Challenging Puzzles for Logical Detectives
9781032365053
Published: 2023
$ 41.33  
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
$ 110.39  
The Sunday Times Teasers Book 2: Challenge Yourself with 100 Lateral-Thinking Puzzles (the Sunday Times Puzzle Books)
The Sunday Times Teasers Book 2: Challenge Yourself with 100 Lateral-Thinking Puzzles (the Sunday Times Puzzle Books)
9780008617967
Published: 2023
$ 22.59  
Browse Subject Headings