Browsing Logic 981 - 1000 of 1315 results

eBook
The Art of Logic
How to Make Sense in a World that Doesn't
- Eugenia Cheng
- Profile Books
- Reflowable Layout
R207.00 ZARPrice includes VAT
View Details

eBook
Handbook on Ontologies
- 2nd Edition
- Author
- Springer
- Fixed Layout
Starting at:R2,079.33 ZARPrice includes VAT
View Details

eBook
Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik
- Carsten Rösnick
- Springer Spektrum
- Fixed Layout
Starting at:R379.21 ZARPrice includes VAT
View Details

eBook
Advanced Functional Programming
6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
- 1st Edition
- Pieter Koopman; ‎Doaitse Swierstra
- Springer
- Fixed Layout
Starting at:R410.81 ZARPrice includes VAT
View Details

eBook
Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
- 1st Edition
- Patrick Blackburn; ‎Hans van Ditmarsch; ‎Maria Manzano
- Springer
- Fixed Layout
Starting at:R347.61 ZARPrice includes VAT
View Details

eBook
Recent Trends in Philosophical Logic
- Author
- Springer
- Reflowable Layout
Starting at:R625.69 ZARPrice includes VAT
View Details

eBook
Induction, Algorithmic Learning Theory, and Philosophy
- Author
- Springer
- Fixed Layout
Starting at:R1,004.90 ZARPrice includes VAT
View Details

eBook
Ludwig Wittgenstein’s Philosophical Investigations
An Attempt at a Critical Rationalist Appraisal
- Joseph Agassi
- Springer
- Reflowable Layout
Starting at:R562.49 ZARPrice includes VAT
View Details

eBook
The Legacy of Mario Pieri in Geometry and Arithmetic
- Elena Anne Marchisotto; James T. Smith
- Birkhäuser
- Fixed Layout
Starting at:R625.69 ZARPrice includes VAT
View Details

eBook
Johan van Benthem on Logic and Information Dynamics
- Alexandru Baltag
- Springer
- Reflowable Layout
Starting at:R1,320.91 ZARPrice includes VAT
View Details

eBook
Hybrid Logic and its Proof-Theory
- Torben Braüner
- Springer
- Fixed Layout
Starting at:R941.70 ZARPrice includes VAT
View Details

eBook
New Directions in Paraconsistent Logic
5th WCP, Kolkata, India, February 2014
- Jean-Yves Beziau
- Springer
- Fixed Layout
Starting at:R941.70 ZARPrice includes VAT
View Details

eBook
Thirty Five Years of Automating Mathematics
- 1st Edition
- F.D. Kamareddine
- Springer
- Fixed Layout
Starting at:R625.69 ZARPrice includes VAT
View Details

eBook
Lectures on Logic and Computation
ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
- Springer
- Fixed Layout
Starting at:R316.01 ZARPrice includes VAT
View Details

eBook
Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
- 1st Edition
- Oliver Kullmann
- Springer
- Fixed Layout
Starting at:R347.61 ZARPrice includes VAT
View Details

eBook
Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
- 1st Edition
- Matthias Baaz; ‎Johann M. Makowsky
- Springer
- Fixed Layout
Starting at:R625.69 ZARPrice includes VAT
View Details

eBook
An Essay in Universal Semantics
- Achille C. Varzi
- Springer
- Fixed Layout
Starting at:R625.69 ZARPrice includes VAT
View Details

eBook
A Logical Introduction to Proof
- Daniel W. Cunningham
- Springer
- Reflowable Layout
Starting at:R347.61 ZARPrice includes VAT
View Details

eBook
Transactions on Rough Sets XI
- 1st Edition
- James F. Peters; Andrzej Skowron
- Springer
- Fixed Layout
Starting at:R347.61 ZARPrice includes VAT
View Details

eBook
How the World Computes
Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
- 1st Edition
- Barry S. Cooper; ‎Anuj Dawar; ‎Benedikt Löwe
- Springer
- Fixed Layout
Starting at:R347.61 ZARPrice includes VAT
View Details