Search results
results: 83
-
Elsevier Science, 2009 ISBN: 9780080960340Description:The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer...
Continue readingPLN Gross price list -
Elsevier Science, 2011 ISBN: 9780080960371Description:The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a shortconference in Mathematical Logic...
Continue readingPLN Gross price list -
Elsevier Science, 2011 ISBN: 9780080960432Description:This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and...
Continue readingPLN Gross price list -
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
Antonella Cupillari
Elsevier Science, 2011 ISBN: 9780123822185Description:The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs...
Continue readingPLN Gross price list -
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Martin Davis
Ron Sigal
Elaine J. Weyuker
Elsevier Science, 1994 ISBN: 9780080502465Description:Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory...
Continue readingPLN Gross price list -
Computability Theory: An Introduction to Recursion Theory
Herbert B. Enderton
Elsevier Science, 2010 ISBN: 9780123849595Description:Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary...
Continue readingPLN Gross price list -
A Mathematical Introduction to Logic
Herbert B. Enderton
Elsevier Science, 1972 ISBN: 9780080570389Description:This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory...
Continue readingPLN Gross price list -
Elsevier Science, 2008 ISBN: 9780080922713Description:Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge...
Continue readingPLN Gross price list -
Algorithms and Complexity
Author Unknown
Elsevier Science, 2014 ISBN: 9780080933917Description:This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized...
Continue readingPLN Gross price list -
Elsevier Science, 2014 ISBN: 9781483264882Description:Essentials of Elementary School Mathematics is an introductory text on the essentials of mathematics taught in elementary schools. It presents a...
Continue readingPLN Gross price list
- Free access
- Trial access
- Open access
- Subscription
- With time limit
- Purchased