Free Delivery Over $100
12436 books were found.
Assessment and Learning in Knowledge Spaces is a Web-based, artificially intelligent assessment and learning system.... Read More >>
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial... Read More >>
Read More >>
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this... Read More >>
And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus,... Read More >>
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating... Read More >>
McGraw-Hill Connect is a digital teaching and learning environment with a fully interactive eBook that saves students... Read More >>
Examines various attempts to prove Euclid's parallel postulate -- by the Greeks, Arabs and Renaissance mathematicians.... Read More >>
Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the current state of... Read More >>
In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers,... Read More >>