Keresési eredmények

1
2
3
4
5
6
7
8
9
10
Következő
[10]

1

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

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

Megjelenés: 1983

könyv

2

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

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

3

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

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

4

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

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

5

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

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

Megjelenés: 1998

könyv

6

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

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

Megjelenés: 1988

könyv

7

Forcing, arithmetic, division rings

Forcing, arithmetic, division rings

Szerző: Hirschfeld, Joram
Megjelenés: 1975

könyv

8

Topological model theory

Topological model theory

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

könyv

9

Model theory and algebra : A memorial tribute to Abraham Robinson

Model theory and algebra : A memorial tribute to Abraham Robinson

Megjelenés: 1975

könyv

10

Infinitary logic : In memoriam Carol Karp : A collection of papers by various authors

Infinitary logic : In memoriam Carol Karp : A collection of papers by various authors

Megjelenés: 1975

könyv

11

The monadic second order theory of all countable ordinals

The monadic second order theory of all countable ordinals

Szerző: Büchi, J. Richard
Megjelenés: 1973

könyv

12

System modelling and optimization : Proceedings of the 12th IFIP Conference, Budapest, Hungary, September 2-6, 1985

System modelling and optimization : Proceedings of the 12th IFIP Conference, Budapest, Hungary, September 2-6, 1985

Megjelenés: 1986

könyv

13

Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Logic Colloquium '90 : ASL Summer Meeting in Helsinki

Megjelenés: 1993

könyv

14

Gödel'96 : Logical Foundation of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy , Brno, Czech Republic August 1996, Proceedings

Gödel'96 : Logical Foundation of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy , Brno, Czech Republic August 1996, Proceedings

Megjelenés: 1996

könyv

15

Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Megjelenés: 1998

könyv

16

Methods in mathematical logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, venezuela, August 1-6, 1983

Methods in mathematical logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, venezuela, August 1-6, 1983

Megjelenés: 1985

könyv

17

Algebra and logic : Papers from the 1974 Summer Research Institute of the Mathematical Society, Monash University, Australia

Algebra and logic : Papers from the 1974 Summer Research Institute of the Mathematical Society, Monash University, Australia

Megjelenés: 1975

könyv

18

Logic Colloquium : Symposium on logic held at Boston, 1972-73

Logic Colloquium : Symposium on logic held at Boston, 1972-73

Megjelenés: 1975

könyv

19

Model theory of algebra and arithmetic : Proceedings of the Conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1-7, 1979

Model theory of algebra and arithmetic : Proceedings of the Conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1-7, 1979

Megjelenés: 1980

könyv

20

Principles of intuitionism : Lectures presented at the summer conference on Intuitionism and proff theory <1968> at SUNY at Buffalo, N.Y.

Principles of intuitionism : Lectures presented at the summer conference on Intuitionism and proff theory <1968> at SUNY at Buffalo, N.Y.

Szerző: Troelstra, Anne Sjerp
Megjelenés: 1969

könyv

1
2
3
4
5
6
7
8
9
10
Következő
[10]