# The Leading eBooks Store Online

## 3,667,858 members ⚫ 1,180,414 ebooks

Most popular at the top

#### Aspects of Mathematical Logic

Springer Berlin Heidelberg 2011; US$ 49.95H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory. more...

#### Advanced ?ukasiewicz calculus and MV-algebras

Springer Netherlands 2011; US$ 159.00This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals, and related algorithms. more...

#### Strange Curves, Counting Rabbits, & Other Mathematical Explorations

Princeton University Press 2011; US$ 31.95 US$ 25.56How does mathematics enable us to send pictures from space back to Earth? Where does the bell-shaped curve come from? Why do you need only 23 people in a room for a 50/50 chance of two of them sharing the same birthday? In Strange Curves, Counting Rabbits, and Other Mathematical Explorations , Keith Ball highlights how ideas, mostly from pure math,... more...

#### Math for Grownups

F+W Media 2011; US$ 14.95 US$ 12.26Ever wish you'd paid more attention in math class? From third grade to senior year of high school, it went in one ear and out the other, didn't it? But now you're staring at the new washer and dryer, trying to figure out the percentage of sales tax on the purchase price. You multiply something by something, right? Or you're scratching your head, wondering... more...

#### Classical Mathematical Logic

Princeton University Press 2011; US$ 140.00 US$ 112.00In Classical Mathematical Logic , Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field... more...

#### THE FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION

World Scientific Publishing Company 2011; US$ 88.00 US$ 72.16This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows... more...

#### Advances in Multiphase Flow and Heat Transfer (Volume 2)

Bentham Science Publishers 2010; US$ 44.00Multiphase flow and heat transfer have found a wide range of applications in nearly all aspects of engineering and science fields such as mechanical engineering, chemical and petrochemical engineering, nuclear engineering, energy engineering, material engineering, ocean engineering, mineral engineering, electronics and micro-electronics engineering,... more...

#### Spline-Interpolation Solution of One Elasticity Theory Problem

Bentham Science Publishers 2011; US$ 39.00The book presents methods of approximate solution of the basic problem of elasticity for special types of solids. Engineers can apply the approximate methods (Finite Element Method, Boundary Element Method) to solve the problems but the application of these methods may not be correct for solids with the certain singularities or asymmetrical boundary... more...

#### Math Stuff

Wide World Publishing 2002; US$ 12.99Whether it's stuff in your kitchen or garden, stuff that powers your car or your body, stuff that helps you work, communicate or play, or stuff that you've never heard of you can bet that mathematics is there. MATH STUFF brings it all in the open in the Pappas style. Not many people think of mathematics as fascinating, exciting and invaluable. Yet... more...

#### Global Well-posedness of Nonlinear Parabolic-Hyperbolic Coupled Systems

Springer Basel 2012; US$ 48.29Including previously unpublished material, this volume presents recent results on nonlinear parabolic-hyperbolic coupled systems such as the compressible Navier-Stokes equations. It also summarizes the latest research by the authors and their collaborators. more...