Browsing “Logic” (Showing 921 - 940 of 1285 results)
A Modern Perspective on Type Theory
From its Origins until Today- Format: Fixed
- From $62.70 AUDPrice includes GST
Methods of Argumentation
- Format: Fixed
- $45.95 AUDPrice includes GST
The Arché Papers on the Mathematics of Abstraction
- Edition: 1st
- Format: Fixed
- From $86.70 AUDPrice includes GST
Information and Randomness
An Algorithmic Perspective- Edition: 2nd
- Format: Fixed
- From $26.71 AUDPrice includes GST
Advanced Functional Programming
6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures- Edition: 1st
- Format: Fixed
- From $27.01 AUDPrice includes GST
From Linear Operators to Computational Biology
Essays in Memory of Jacob T. Schwartz- Format: Reflowable
- From $47.71 AUDPrice includes GST
By Parallel Reasoning
- Format: Fixed
- From $161.95 AUDPrice includes GST
Advanced Łukasiewicz calculus and MV-algebras
- Format: Reflowable
- From $47.71 AUDPrice includes GST
Fuzzy Database Modeling
- Format: Fixed
- From $47.71 AUDPrice includes GST
SCIENCE OF LEARNING MATHEMATICAL PROOFS, THE
An Introductory Course- Format: Reflowable
- $48.39 AUDPrice includes GST
Act-Based Conceptions of Propositional Content
Contemporary and Historical Perspectives- Edition: 1st
- Format: Reflowable
- From $128.25 AUDPrice includes GST
Einstieg in die beweisorientierte Mathematik
Mit Versuch und Irrtum zum Beweis- Format: Reflowable
- From $12.00 AUDPrice includes GST
Three Views of Logic
Mathematics, Philosophy, and Computer Science- Format: Fixed
- From $83.33 AUDPrice includes GST
DIGITAL AND THE REAL WORLD, THE
Computational Foundations of Mathematics, Science, Technology, and Philosophy- Format: Reflowable
- $191.40 AUDPrice includes GST
The Rise of Modern Logic: from Leibniz to Frege
- Format: Reflowable
- $275.00 AUDPrice includes GST
Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings- Format: Reflowable
- From $35.71 AUDPrice includes GST
Provability, Computability and Reflection
- Format: Fixed
- $275.00 AUDPrice includes GST
Handbook of Defeasible Reasoning and Uncertainty Manageme...
Algorithms for Uncertainty and Defeasible Reasoning- Edition: 1st
- Format: Fixed
- From $95.70 AUDPrice includes GST
Southeast Asian Conference on Logic
- Format: Fixed
- $28.60 AUDPrice includes GST
Categorical Logic and Type Theory
- Format: Fixed
- $132.00 AUDPrice includes GST