Robert Goldblatt 
Quantifiers, Propositions and Identity [PDF ebook] 
Admissible Semantics for Quantified Modal and Substructural Logics

Alternating current (AC) induction and synchronous machines are frequently used in variable speed drives with applications ranging from computer peripherals, robotics, and machine tools to railway tr …

This book uses asymptotic methods to obtain simple approximate analytic solutions to various problems within mechanics, notably wave processes in heterogeneous materials. Presenting original solution …

To move from empirical-based physics to the theoretical abstractness required for advanced physics requires a paradigmatic shift in logic that can challenge even the brightest mind. Grasping the play …

Beginning with the historical background of probability theory, this thoroughly revised text examines all important aspects of mathematical probability – including random variables, probability distr …

An intermediate-level treatment of Bayesian hierarchical models and their applications, this book demonstrates the advantages of a Bayesian approach to data sets involving inferences for collections …

This second edition of Lessons in Play reorganizes the presentation of the popular original text in combinatorial game theory to make it even more widely accessible. Starting with a focus on the esse …

This book provides working tools for the study and design of nonlinear dynamical systems applicable in physics and engineering. It offers a broad-based introduction to this challenging area of study, …

Including the latest theories and applications of time series modelling, this book is intended for students, faculties and professionals with a background in multivariate statistics. Highlighting lin …

Abstract Calculus: A Categorical Approach provides an abstract approach to calculus. It is intended for graduate students pursuing Ph Ds in pure mathematics but junior and senior researchers in basic …