# The Leading eBooks Store Online

## 4,130,202 members ⚫ 1,348,641 ebooks

#### Optimization

CRC Press 2015; US$ 142.95Choose the Correct Solution Method for Your Optimization Problem Optimization: Algorithms and Applications presents a variety of solution techniques for optimization problems, emphasizing concepts rather than rigorous mathematical details and proofs. The book covers both gradient and stochastic methods as solution techniques for unconstrained... more...

#### Computable Structures and the Hyperarithmetical Hierarchy

Elsevier Science 2000; US$ 175.00This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There... more...

#### Algorithms and Complexity

World Scientific Publishing Company 1990; US$ 71.00 US$ 64.61This proceedings contains contributions on topics such as the models of computation, analysis and design of sequential and parallel algorithms, data structures and their applications, approximating algorithms and probabilistic analysis, and computational complexity. Contents: Analysis and Implementation of Parallel Uniform Hashing (F Luccio et al);... more...

#### Tracking Reason

Oxford University Press 2005; US$ 29.99When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite... more...

#### The Lambda Calculus

Elsevier Science 2013; US$ 133.00The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications... more...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Provability, Computability and Reflection

Elsevier Science 2009; US$ 275.00Provability, Computability and Reflection more...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### The Moment of Proof

Oxford University Press 2000; US$ 49.99When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof , Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.This... more...