Browsing Logic 821 - 840 of 1431 results

eBook
Transactions on Rough Sets V
- 1st Edition
- James Peter; Andrzej Skowron
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method
- Futatsugi, K.; Nakagawa, A.T.; Tamai, T.
- Elsevier Science
- Fixed Layout
R2,148.20 ZARPrice includes VAT
View Details

eBook
Categories, Allegories
- Freyd, P.J.; Scedrov, A.
- North Holland
- Fixed Layout
R1,339.42 ZARPrice includes VAT
View Details

eBook
Computability Theory: An Introduction to Recursion Theory
- Enderton, Herbert B.
- Academic Press
- Fixed Layout
R1,467.94 ZARPrice includes VAT
View Details

eBook
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Fixed Layout
R4,773.78 ZARPrice includes VAT
View Details

eBook
The Rise of Modern Logic: from Leibniz to Frege: from Leibniz to Frege
- Gabbay, Dov M.; Woods, John
- North Holland
- Fixed Layout
R4,957.39 ZARPrice includes VAT
View Details

eBook
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Fixed Layout
R4,773.78 ZARPrice includes VAT
View Details

eBook
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Fixed Layout
R4,773.78 ZARPrice includes VAT
View Details

eBook
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Fixed Layout
R4,773.78 ZARPrice includes VAT
View Details

eBook
Mathematical Logic
- Gandy, R.O.; Yates, C.E.M.
- North Holland
- Fixed Layout
R3,488.52 ZARPrice includes VAT
View Details

eBook
Logic Colloquium '88
- Ferro, R.; Bonotto, C.; Valentini, S.; Zanardo, A.
- North Holland
- Fixed Layout
R1,339.42 ZARPrice includes VAT
View Details

eBook
Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
- 2nd Edition
- Hailperin, T.
- North Holland
- Fixed Layout
R1,339.42 ZARPrice includes VAT
View Details

eBook
Handbook of Proof Theory
- Buss, S.R.
- Elsevier Science
- Fixed Layout
R4,314.75 ZARPrice includes VAT
View Details

eBook
Mathematische Geschichten VIII – Stochastik, trigonometrische Funktionen und Beweise
Für begabte Schülerinnen und Schüler in der Oberstufe
- Susanne Schindler-Tschirner; Werner Schindler
- Springer Spektrum
- Reflowable Layout
Starting at:R110.16 ZARPrice includes VAT
View Details

eBook
Abductive Reasoning and Learning
- 1st Edition
- Dov Gabbay; Rudolf Kruse; Philippe Smets
- Springer
- Fixed Layout
Starting at:R1,151.22 ZARPrice includes VAT
View Details

eBook
Rewriting and Typed Lambda Calculi
Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
- Author
- Springer
- Fixed Layout
Starting at:R302.96 ZARPrice includes VAT
View Details

eBook
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
- Johnson, R.H.; Ohlbach, H.J.; Gabbay, Dov M.; Woods, J.
- North Holland
- Fixed Layout
R2,680.66 ZARPrice includes VAT
View Details

eBook
Burden of Proof, Presumption and Argumentation
- 1st Edition
- Douglas Walton
- Cambridge University Press
- Fixed Layout
Starting at:R455.34 ZARPrice includes VAT
View Details

eBook
Themes from Weir: A Celebration of the Philosophy of Alan Weir
- Springer
- Reflowable Layout
Starting at:R710.56 ZARPrice includes VAT
View Details

eBook
Arbitrary Reference in Logic and Mathematics
- Massimiliano Carrara; Enrico Martino
- Springer
- Reflowable Layout
Starting at:R550.82 ZARPrice includes VAT
View Details