Computer science

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

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Sentences Undecidable in Formalized Arithmetic

Energy at the surface of the earth : an introduction to the energetics of ecosystems

An Introduction to Atmospheric Radiation

Weather Modification by Cloud Seeding

Ocean Circulation Physics

Climate and Life

Theory of Ionospheric Waves

Atmospheric Circulation Systems: their structure and physical interpretation

Radiation in the Atmosphere

Physics of the marine atmosphere

The world of smart shoes, appliances, and phones is already here, but the practice of user experience (UX) design for ubiquitous computing is still relatively new.

Usability testing and user experience research typically take place in a controlled lab with small groups.

Optimal control theory of distributed parameter systems has been a very active field in recent years; however, very few books have been devoted to the studiy of computational algorithms for solving optimal control problems.

Computational Methods in Engineering Boundary Value Problems

Optimal Economic Operation of Electric Power Systems