Browsing Logic 781 - 800 of 1431 results

eBook
The Nuts and Bolts of Proofs
An Introduction to Mathematical Proofs
- 5th Edition
- Antonella Cupillari
- Academic Press
- Reflowable Layout
R862.76 ZARPrice includes VAT
View Details

eBook
Proof Theory for Fuzzy Logics
- George Metcalfe; Nicola Olivetti; Dov M. Gabbay
- Springer
- Fixed Layout
Starting at:R655.48 ZARPrice includes VAT
View Details

eBook
Integration of World Knowledge for Natural Language Understanding
- Ekaterina Ovchinnikova
- Atlantis Press
- Fixed Layout
Starting at:R545.31 ZARPrice includes VAT
View Details

eBook
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
- 2nd Edition
- Davis, Martin; Sigal, Ron; Weyuker, Elaine J.
- Morgan Kaufmann
- Fixed Layout
R1,339.42 ZARPrice includes VAT
View Details

eBook
Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- Clara Löh
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
Axiomatic Thinking I
- Springer
- Reflowable Layout
Starting at:R550.82 ZARPrice includes VAT
View Details

eBook
The Story of Proof
Logic and the History of Mathematics
- John Stillwell
- Princeton University Press
- Fixed Layout
R881.31 ZARPrice includes VAT
View Details

eBook
Scientific Philosophy
- Gustavo E. Romero
- Springer
- Reflowable Layout
Starting at:R495.74 ZARPrice includes VAT
View Details

eBook
Maximen VI / Maxims VI
- 1st Edition
- Kurt Gödel
- De Gruyter
- Fixed Layout
R2,221.46 ZARPrice includes VAT
View Details

eBook
The Mathematical and Philosophical Legacy of Alexander Grothendieck
- Birkhäuser
- Reflowable Layout
Starting at:R1,316.46 ZARPrice includes VAT
View Details

eBook
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
- Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
- World Scientific
- Reflowable Layout
R1,432.13 ZARPrice includes VAT
View Details

eBook
Fuzzy Sets and Their Applications to Cognitive and Decision Processes: Proceedings of the U.S.–Japan Seminar on Fuzzy Sets and Their Applications, Held at the University of California, Berkeley, California, July 1-4, 1974
- Zadeh, Lotfi A.; Fu, King-Sun; Tanaka, Kokichi
- Academic Press
- Reflowable Layout
R1,724.99 ZARPrice includes VAT
View Details

eBook
Decidability and Generalized Quantifiers
- 1st Edition
- A. Baudisch; D. Seese; H.-P. Tuschik; M. Weese
- De Gruyter
- Fixed Layout
R2,188.40 ZARPrice includes VAT
View Details

eBook
Computational Prospects Of Infinity - Part Ii: Presented Talks
- Chong Chitat
- World Scientific
- Fixed Layout
R1,321.97 ZARPrice includes VAT
View Details

eBook
Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
- 1st Edition
- Anil Nerode; Sergei N. Artemov
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
CATEGORICAL STRUCTURES & THEIR APPLCS
- Gahler Habil Werner
- World Scientific
- Fixed Layout
R1,083.28 ZARPrice includes VAT
View Details

eBook
PROC OF THE 11TH ASIAN LOGIC CONF
In Honor of Professor Chong Chitat on His 60th Birthday
- Kim Byunghan
- World Scientific
- Fixed Layout
R807.87 ZARPrice includes VAT
View Details

eBook
Philosophie der Mathematik
- 1st Edition
- Thomas Bedürftig; Roman Murawski
- De Gruyter
- Fixed Layout
R2,809.00 ZARPrice includes VAT
View Details

eBook
Modern Logic 1850-1950, East and West
- Francine F. Abeles
- Birkhäuser
- Fixed Layout
Starting at:R468.20 ZARPrice includes VAT
View Details

eBook
Cardinal Invariants on Boolean Algebras
Revised Edition
- 2nd Edition
- J. Donald Monk
- Birkhäuser
- Fixed Layout
Starting at:R710.56 ZARPrice includes VAT
View Details