Human–computer interaction

People today use technology on different devices in different locations.

The Vector-Valued Maximin

Differential Equations with Applications to Mathematical Physics

Analysis and Control of Nonlinear Infinite Dimensional Systems

Scientific Computing with Automatic Result Verification

Stability and Time-Optimal Control of Hereditary Systems

Differential Equations and Mathematical Physics: Proceedings of the International Conference held at the University of Alabama at Birmingham, March 15-21, 1990

Nonlinear Equations in the Applied Sciences

Decentralized Control of Complex Systems

Overall, our object has been to provide an applications-oriented text that is reasonably self-contained.

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

Problems in the Philosophy of Mathematics

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