H. Schwichtenberg & A. S. Troelstra 
Basic Proof Theory [PDF ebook] 

Continuing to provide excellent, state-of-the-art information on corrosion and practicalsolutions for reducing corrosion, the Second Edition contains valuable suggestionson how to select the best con …

Geometry is a hands-on subject. What better way to explore the concepts of area, perimeter, and volume than actually measuring area, perimeter, and volume? With this helpful resource, you will build …

Great first book on algebraic topology. Introduces (co)homology through singular theory. …

Functions as a self-study guide for engineers and as a textbook for nonengineering students and engineering students, emphasizing generic forms of differential equations, applying approximate solutio …

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

Reproducible Finance with R: Code Flows and Shiny Apps for Portfolio Analysis is a unique introduction to data science for investment management that explores the three major R/finance coding paradig …

In knot theory, diagrams of a given canonical genus can be described by means of a finite number of patterns (‘generators’). Diagram Genus, Generators and Applications presents a self-contained accou …

Optimal control deals with the problem of finding a control law for a given system such that a certain optimality criterion is achieved. An optimal control is a set of differential equations describi …

Probability plays an essential role in making decisions in areas such as business, politics, and sports, among others. Professor Rabinowitz, based on many years of teaching, has created a textbook su …

The breadth of information about operations research and the overwhelming size of previous sources on the subject make it a difficult topic for non-specialists to grasp. Fortunately, Introduction to …