A deductive theory of space and time

por Basri, Saul A.
Publicado 1966

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

por Mostowski, Andrzej
Publicado 1964

Formal systems and recursive functions proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Publicado 1965

Equivalents of the axiom of choice

por Rubin, Herman
Publicado 1963

Cylindric algebras

por Henkin, Léon
Publicado 1971

Progress in optics

Publicado 1964

The econometrics of disequilibrium

por Bowden, Roger J.
Publicado 1978

Public enterprise economics theory and application

por Bös, Dieter, 1940-2004
Publicado 1989

Hypergraphs combinatorics of finite sets

por Berge, Claude
Publicado 1989

Knowledge acquisition from text and pictures

Publicado 1989

Classical recursion theory the theory of functions and sets of natural numbers

por Odifreddi, Piergiorgio, 1950-
Publicado 1992

Uncertainty in artificial intelligence

Publicado 1986

Optical economic growth shifting finite versus infinite time horizon

por Inagaki, M.
Publicado 1970

Europe's future food and agriculture a comparison of models for projecting food consumption and agricultural production in Western European countries, to 1972 and 1975

Publicado 1971

Modern transformational grammar with particular reference to the theory of government and binding

por Jacobsen, Bent, 1938-
Publicado 1986

Encyclopedia of public international law

Publicado 1981

Discourse processing

Publicado 1982

Regional development modeling theory and practice

Publicado 1982

The rainbow serpent

por Hulley, Charles E.
Publicado 1999

Decreasing costs as a problem of welfare economics

por Oort, C. J.
Publicado 1958