Mathematics

Contributions to Non-Standard Analysis

Truth, Syntax and Modality

The Metamathematics of Algebraic Systems

Combinatory Logic

Proceedings of the Second Scandinavian Logic Symposium

Model Theory For Infinitary Logic

LOGIC COLLOQUIUM '69

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.

Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

A Concrete Approach to Abstract Algebra presents a solid and highly accessible introduction to abstract algebra by providing details on the building blocks of abstract algebra.

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems.

Graph Theory in Modern Engineering: Computer Aided Design, Control, Optimization, Reliability Analysis

This book considers classical and current theory and practice, of supervised, unsupervised and semi-supervised pattern recognition, to build a complete background for professionals and students of engineering.

The revised edition contains a new chapter which provides an elegant description of the semantics.

Algebra, as we know it today, consists of many different ideas, concepts and results.

What tools are available for setting and analyzing monetary policy?

Handbook of Differential Equations: Evolutionary Equations is the last text of a five-volume reference in mathematics and methodology.

In this volume, the authors present a collection of surveys on various aspects of the theory of bifurcations of differentiable dynamical systems and related topics.

Non-Newtonian flows and their numerical simulations have generated an abundant literature, as well as many publications and references to which can be found in this volume's articles.

The material collected in this volume discusses the present as well as expected future directions of development of the field with particular emphasis on applications.

This volume presents the basic mathematics of ranking methods through a didactic approach and the integration of relevant applications.

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic.

Quantum mechanics is said to be the most successful physical theory ever.

Numerical Methods for Roots of Polynomials - Part II along with Part I (9780444527295) covers most of the traditional methods for polynomial root-finding such as interpolation and methods due to Graeffe, Laguerre, and Jenkins and Traub.

The domain of nonlinear dynamical systems and its mathematical underpinnings has been developing exponentially for a century, the last 35 years seeing an outpouring of new ideas and applications and a concomitant confluence with ideas of complex systems and their applications from irreversible thermodynamics.

Quantification and modalities have always been topics of great interest for logicians.

This book provides a survey of the frontiers of research in the numerical modeling and mathematical analysis used in the study of the atmosphere and oceans.

Mathematical finance is a prolific scientific domain in which there exists a particular characteristic of developing both advanced theories and practical techniques simultaneously.

The field of statistics not only affects all areas of scientific activity, but also many other matters such as public policy.

Statisticians and philosophers of science have many common interests but restricted communication with each other.

This is an abridged edition of the author's previous two-volume work, Ring Theory, which concentrates on essential material for a general ring theory course while ommitting much of the material intended for ring theory specialists.

This research-level book presents up-to-date information concerning recent developments in convex functions and partial orderings and some applications in mathematics, statistics, and reliability theory.

With a useful index of notations at the beginning, this book explains and illustrates the theory and application of data analysis methods from univariate to multidimensional and how to learn and use them efficiently.

This book provides a comprehensive survey of analytic and approximate solutions of problems of applied mechanics, with particular emphasis on nonconservative phenomena.

For the engineering and scientific professional, A Physicist's Guide to Mathematica, Second Edition provides an updated reference guide based on the 2007 new 6.

This book presents a methodology for the development and computer implementation of dynamic models for transport process systems.