Information architecture

Logic Colloquium '78, Proceedings of the colloquium held in Mons

During the past decade there has been a remarkable growth of interest in problems of systems optimization and of optimal control.

Logic Colloquium '77

WORD PROBLEMS II

Generalized Recursion Theory II

Foundational Studies

Foundational Studies Selected Works

Combinatorial Set Theory

Non-Classical Logics, Model Theory, And Computability

Algebra of Proofs

Logic Colloquium 76, Proceedings of a conference

SET THEORY

Proof Theory

Generalized Recursion Theory

An Algebraic Approach to Non-Classical Logics

Set Theory

The Axiom of Choice

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic in Algebraic Form

Word Problems

The Theory of Semisets

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

Global biogeochemical cycles

Chemistry of the Natural Atmosphere

Lunar Gravimetry

Planets and Their Atmospheres: Origin and Evolution

The Earth's Magnetic Field : Its History, Origin, and Planetary Perspective

Deformations of an Elastic Earth

The Earth's Climate, Past and Future

Nonlinear System Theory

Bilinear Transformation Method

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Decision and Control in Uncertain Resource Systems

Generalized Functions: Theory and Technique

Stochastic Systems

The Stability of Input-Output Dynamical Systems

Volterra Integral and Differential Equations

Algebraic Theory for Multivariable Linear Systems

Introduction to Sensitivity and Stability Analysis in Nonlinear Programming