Browsing Logic 221 - 240 of 1431 results

eBook
HALF-CENTURY OF AUTOMATA THEORY,A
Celebration and Inspiration
- Salomaa Arto
- World Scientific
- Fixed Layout
R569.18 ZARPrice includes VAT
View Details

eBook
An den Grenzen des Endlichen
Das Hilbertprogramm im Kontext von Formalismus und Finitismus
- Christian Tapp
- Springer Spektrum
- Reflowable Layout
Starting at:R330.49 ZARPrice includes VAT
View Details

eBook
QUANTA, LOGIC & SPACETIME (2ED)
- 2nd Edition
- S A Selesnick
- World Scientific
- Fixed Layout
R1,285.25 ZARPrice includes VAT
View Details

eBook
Innovations in Fuzzy Clustering
Theory and Applications
- Mika Sato-Ilic
- Springer
- Fixed Layout
Starting at:R545.31 ZARPrice includes VAT
View Details

eBook
Functional and Logic Programming
8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
- 1st Edition
- Masami Hagiya; ‎Philip Wadler
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
"Das ist o. B. d. A. trivial!"
Tipps und Tricks zur Formulierung mathematischer Gedanken
- 9th Edition
- Albrecht Beutelspacher
- Vieweg+Teubner Verlag
- Fixed Layout
Starting at:R110.16 ZARPrice includes VAT
View Details

eBook
The Foundations of Computability Theory
- 2nd Edition
- Borut Robič
- Springer
- Fixed Layout
Starting at:R385.57 ZARPrice includes VAT
View Details

eBook
The Structure of Models of Peano Arithmetic
- Roman Kossak; James Schmerl
- Clarendon Press
- Fixed Layout
Starting at:R1,491.54 ZARPrice includes VAT
View Details

eBook
Philosophical and Mathematical Logic
- Harrie de Swart
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
Crystal Chemistry: From Basics to Tools for Materials Creation
- Gerard Ferey
- World Scientific
- Reflowable Layout
R807.87 ZARPrice includes VAT
View Details

eBook
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
- Springer
- Fixed Layout
Starting at:R710.56 ZARPrice includes VAT
View Details

eBook
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
- David J. Pym; Eike Ritter
- Clarendon Press
- Fixed Layout
Starting at:R1,688.19 ZARPrice includes VAT
View Details

eBook
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
- 1st Edition
- Warren A. Hunt; Jr.; ‎Fabio Somenzi
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
Knowledge Discovery and Data Mining
The Info-Fuzzy Network (IFN) Methodology
- O. Maimon; M. Last
- Springer
- Fixed Layout
Starting at:R545.31 ZARPrice includes VAT
View Details

eBook
Logic and Structure
- 4th Edition
- Dirk van Dalen
- Springer
- Fixed Layout
Starting at:R490.23 ZARPrice includes VAT
View Details

eBook
Fixed Point Theory in Probabilistic Metric Spaces
- O. Hadzic; E. Pap
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
Category Theory
- 2nd Edition
- Steve Awodey
- OUP Oxford
- Fixed Layout
Starting at:R738.29 ZARPrice includes VAT
View Details

eBook
Structural Analysis of Non-Classical Logics
The Proceedings of the Second Taiwan Philosophical Logic Colloquium
- Springer
- Fixed Layout
Starting at:R545.31 ZARPrice includes VAT
View Details

eBook
Typed Lambda Calculi and Applications
9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
- 1st Edition
- PierreLouis Curien
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
Computational Artifacts
Towards a Philosophy of Computer Science
- Raymond Turner
- Springer
- Fixed Layout
Starting at:R1,041.05 ZARPrice includes VAT
View Details