Mathematics

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

This text is for courses that are typically called (Introductory) Differential Equations, (Introductory) Partial Differential Equations, Applied Mathematics, Fourier Series and Boundary Value Problems.

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.

Constructible Sets with Applications

Constructive Order Types

The Collected Papers of Gerhard Gentzen

Intuitionistic Logic Model Theory and Forcing

SET THEORY

Logic, Methodology and Philosophy of Science III

The Problem of Inductive Logic

Contributions to Mathematical Logic

Problems in the Philosophy of Science

Elements of Mathematical Logic

Sets, Models and Recursion Theory

A Deductive Theory of Space and Time

Aspects of Inductive Logic

Studies in Logic and the Foundations of Mathematics

Formal Systems and Recursive Functions

The Foundations of Intuitionistic Mathematics

Introduction to the Theory of Finite Automata

A Transfinite Type Theory with Type Variables

Languages with Expressions of Infinite Length

Computer Programming and Formal Systems

The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book.

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Lincos

Provability, Computability and Reflection

Computer Programming and Formal Systems

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Axiomatic Set Theory

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection