Cabal seminar 79-81 : Proceedings, Caltech-UCLA logic seminar 1979-81

Megjelenés: 1983

From logic design to logic programming : Theorem proving techniques and P-functions

Szerző: Snyers, Dominique (1959-)
Megjelenés: 1987

Sets, graphs and numbers : A birthday salute to Vera T. Sós and András Hajnal

Megjelenés: 1992

Methodologies for intelligent systems, 4 : Proceedings of the fourth International Symposium on Methodologies for Intelligent Systems held october 12-14, 1989, in Charlotte, North...

Megjelenés: 1989

Edinburgh LCF : a mechanised logic of computation

Szerző: Gordon, Michael J. C.
Megjelenés: 1979

Logic symposia, Hakone 1979, 1980 : Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Megjelenés: 1981

Model theory and arithmetic : Comptes Rendus d'une Action Thematique programmée deu C. N. R. S. sur la Theorie des Modèles et l'Arithmétique, Paris, France, 1979/80

Megjelenés: 1981

Model theory and algebraic geometry : An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture

Megjelenés: 1998

Cabal seminar 81-85 : Proceedings, Caltech-UCLA logic seminar 1981-85

Megjelenés: 1988

Decidability and generalized quantifiers

Megjelenés: 1980

Enumerability, decidability, computability : An introduction to the theory of recursive functions

Szerző: Hermes, Hans (1912-?)
Megjelenés: 1965

Logic and relativity <in the light of definability theory>

Szerző: Madarász Judit, X.
Megjelenés: 2002

5 vol.

Megjelenés: 1971
Kapcsolódó cím: Symposia mathematica

Recursively enumerable sets and degrees : A study of computable functions and computably generated sets

Szerző: Soare, Robert Irving (1940-)
Megjelenés: 1987

The logical basis for computer programming

Szerző: Manna, Zohar
Megjelenés: 1985
Kapcsolódó cím: Deductive reasoning

Computing in systems described by equations

Szerző: O'Donnell, Michel J.
Megjelenés: 1977

Computability and logic

Szerző: Boolos, George S.
Megjelenés: 1989

Forcing, arithmetic, division rings

Szerző: Hirschfeld, Joram
Megjelenés: 1975

Topological model theory

Szerző: Flum, Jörg
Megjelenés: 1980

Advanced logic for applications

Szerző: Grandy, Richard E.
Megjelenés: 1979