Jean-Yves Girard & Yves Lafont 
Advances in Linear Logic [PDF ebook] 

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection …

“Wonderful . . . a great resource for automobile fans who want to understand science, and vice versa.” —Alan C. Tribble, author of A Tribble’s Guide to Space For some, driving is an ar …

Introducing undergraduates to the vital concepts of statistics, this superb textbook allows instructors to include as much—or as little—mathematical detail as may be suitable for their students. Feat …

This volume contains versions of invited addresses and communications for the First Chilean Symposium of Mathematics, revealing the results of the mathematical advances in areas such as stochastic an …

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel”s Incompleteness Theorems to extensive introductions to set theory, mo …

Understanding Real Analysis, Second Edition offers substantial coverage of foundational material and expands on the ideas of elementary calculus to develop a better understanding of crucial mathemati …

This new edition of an indispensable text provides a clear treatment of Fourier Series, Fourier Transforms, and FFTs. The unique software, included with the book and newly updated for this edition, a …

The exponential distribution is one of the most significant and widely used distribution in statistical practice. It possesses several important statistical properties, and yet exhibits great mathema …

The first edition of this book (1970) set out a systematic basis for the analysis of binary data and in particular for the study of how the probability of ”success” depends on explanatory variables …

This book is an outcome of the Second International Conference on Mathematical Population Dynamics. It is intended for mathematicians, statisticians, biologists, and medical researchers who are inter …