51

Pursuit and Evasion in a Circle

Year:
1984
File:
PDF, 278 KB
1984
53

Polynomials with Preassigned Values at their Branching Points

Year:
1970
Language:
english
File:
PDF, 359 KB
english, 1970
54

Quantifier-Free Versions of First Order Logic and Their Psychological Significance

Year:
1992
Language:
english
File:
PDF, 2.05 MB
english, 1992
55

Polynomials with Preassigned Values at Their Branching Points

Year:
1970
Language:
english
File:
PDF, 364 KB
english, 1970
56

Canonical Universes and Intuitions About Probabilities

Year:
2006
Language:
english
File:
PDF, 176 KB
english, 2006
60

A compactification of the algebra of terms

Year:
1976
Language:
english
File:
PDF, 160 KB
english, 1976
61

E2852

Year:
1983
Language:
english
File:
PDF, 220 KB
english, 1983
62

E2585

Year:
1977
Language:
english
File:
PDF, 160 KB
english, 1977
63

5941

Year:
1975
Language:
english
File:
PDF, 314 KB
english, 1975
64

-Type Silicon and Germanium. II

Year:
1965
Language:
english
File:
PDF, 1.45 MB
english, 1965
65

6112

Year:
1978
Language:
english
File:
PDF, 252 KB
english, 1978
66

6242

Year:
1980
Language:
english
File:
PDF, 303 KB
english, 1980
67

The Meaning of Pure Mathematics

Year:
1989
Language:
english
File:
PDF, 639 KB
english, 1989
68

Remarks on infinite systems of equations

Year:
1985
Language:
english
File:
PDF, 157 KB
english, 1985
70

Meeting of the Association for Symbolic Logic, Dallas 1973

Year:
1973
Language:
english
File:
PDF, 281 KB
english, 1973
72

6315

Year:
1982
Language:
english
File:
PDF, 193 KB
english, 1982
73

On k-stable functions

Year:
1979
Language:
english
File:
PDF, 343 KB
english, 1979
74

A model of the neocortex

Year:
1988
Language:
english
File:
PDF, 838 KB
english, 1988
76

Organization of Memory

Year:
1973
Language:
english
File:
PDF, 582 KB
english, 1973
77

IRELAND.

Year:
1928
Language:
english
File:
PDF, 186 KB
english, 1928
78

THE TARSKI SYMPOSIUM

Year:
1971
Language:
english
File:
PDF, 311 KB
english, 1971
79

Two Problems on Geometric Bodies

Year:
1977
File:
PDF, 365 KB
1977
80

On families of intersecting sets

Year:
1974
Language:
english
File:
PDF, 81 KB
english, 1974
82

Equations Unsolvable in GL 2 (C) And Related Problems

Year:
1978
Language:
english
File:
PDF, 378 KB
english, 1978
84

Some remarks and problems on the colouring of infinite graphs and the theorem of Kuratowski

Year:
1964
Language:
english
File:
PDF, 212 KB
english, 1964
87

Compositional complexity of Boolean functions

Year:
1982
Language:
english
File:
PDF, 549 KB
english, 1982
89

On the pairing process and the notion of genealogical distance

Year:
1969
Language:
english
File:
PDF, 262 KB
english, 1969
90

On convex linear forms

Year:
1974
Language:
english
File:
PDF, 201 KB
english, 1974
91

Model completeness of some metric completions of absolutely free algebras

Year:
1981
Language:
english
File:
PDF, 359 KB
english, 1981
92

On the Formalization of Theories

Year:
2013
Language:
english
File:
PDF, 200 KB
english, 2013
93

-Type Silicon and Germanium

Year:
1964
Language:
english
File:
PDF, 1.07 MB
english, 1964
94

Keyboards for pure music

Year:
1978
Language:
english
File:
PDF, 429 KB
english, 1978
95

Can One Solve Equations in Groups?

Year:
1977
Language:
english
File:
PDF, 403 KB
english, 1977
96

Two Problems on Geometric Bodies

Year:
1977
Language:
english
File:
PDF, 365 KB
english, 1977
97

A Lattice of Interpretability Types of Theories

Year:
1977
Language:
english
File:
PDF, 224 KB
english, 1977
99

Linear dynamic approximation theory

Year:
1979
Language:
english
File:
PDF, 759 KB
english, 1979
100

On boolean functions and connected sets

Year:
1971
Language:
english
File:
PDF, 752 KB
english, 1971