Search results
results: 217
-
Mathematical & statistical software Algorithms & data structures Data encryption Data capture & analysis Mathematical logicElsevier Science, 2001 ISBN: 9780080496467Description:A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the...
Continue readingPLN Gross price list -
Mechanical engineering & materials Analytical chemistry Maths for engineers Mathematical & statistical software Algorithms & data structuresElsevier Science, 2002 ISBN: 9780080534954Description:This book provides an introduction to chemical engineering analysis- which reviews the processes and designs used to manufacture, use, and dispose of...
Continue readingPLN Gross price list -
Elsevier Science, 1988 ISBN: 9780080570884Description:These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the...
Continue readingPLN Gross price list -
Elsevier Science, 1998 ISBN: 9780080533704Description:Recursive Algebra, Analysis and Combinatorics
Continue readingPLN Gross price list -
Contributions to Non-Standard Analysis
Lev D. Beklemishev
Elsevier Science, 2000 ISBN: 9780080954806Description:Contributions to Non-Standard Analysis
Continue readingPLN Gross price list -
Elsevier Science, 2013 ISBN: 9780080506227Description:This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for...
Continue readingPLN Gross price list -
Mathematical logic Expert systems / knowledge-based systems Algorithms & data structures Discrete mathematicsElsevier Science, 2014 ISBN: 9780080917283Description:This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists...
Continue readingPLN Gross price list -
Mathematical logic Expert systems / knowledge-based systems Algorithms & data structures Discrete mathematicsHandbook of Proof Theory
S.R. Buss
Elsevier Science, 1998 ISBN: 9780080533186Description:This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...
Continue readingPLN Gross price list -
Provability, Computability and Reflection
Lev D. Beklemishev
Elsevier Science, 2009 ISBN: 9780080954714Description:Provability, Computability and Reflection
Continue readingPLN Gross price list -
Provability, Computability and Reflection
Lev D. Beklemishev
Elsevier Science, 2000 ISBN: 9780080954738Description:Provability, Computability and Reflection
Continue readingPLN Gross price list
- Free access
- Trial access
- Open access
- Subscription
- With time limit
- Purchased