Keresési eredmények

1

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

Megjelenés: 1983

könyv

2

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

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

könyv

3

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

Megjelenés: 1992

könyv

4

Logik-Texte : Kommentierte Auswahl zur Geschichte der modernen Logik

Megjelenés: 1971

könyv

5

Wandlungen des mathematischen Denkens : Eine Einführung in die Grundlagenprobleme der Mathematik

Szerző: Meschkowski, Herbert (1909-1990)
Megjelenés: 1960

könyv

6

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

könyv

7

Edinburgh LCF : a mechanised logic of computation

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

könyv

8

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

Megjelenés: 1981

könyv

9

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

könyv

10

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

Megjelenés: 1998

könyv

11

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

Megjelenés: 1988

könyv

12

Decidability and generalized quantifiers

Megjelenés: 1980

könyv

13

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

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

könyv

14

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

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

könyv

15

Logic and relativity <in the light of definability theory>

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

disszertáció

16

Gottlob Frege

Szerző: Sluga, Hans D.
Megjelenés: 1980

könyv

17

5 vol.

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

könyv

18

Paradoxien des Unendlichen

Szerző: Bolzano, Bernard (1781-1848)
Megjelenés: 1861

könyv

19

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

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

könyv

20

Vvedenie v matematičeskuû logiku

Szerző: Church, Alonzo
Megjelenés: 1960
Kapcsolódó cím: 1.

könyv

Keresés szűkítése