51

5786

Year:
1972
Language:
english
File:
PDF, 282 KB
english, 1972
52

6096

Year:
1978
Language:
english
File:
PDF, 247 KB
english, 1978
53

E2591

Year:
1977
Language:
english
File:
PDF, 164 KB
english, 1977
54

E2585

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

Paradoxical sets and sets with two removable points

Year:
2018
Language:
english
File:
PDF, 428 KB
english, 2018
57

Foundations of Mathematics in the Twentieth Century

Year:
2001
Language:
english
File:
PDF, 1.01 MB
english, 2001
58

The Meaning of the Conjecture P ≠ NP for Mathematical Logic

Year:
1983
Language:
english
File:
PDF, 370 KB
english, 1983
59

Polynomials with Preassigned Values at Their Branching Points

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

Linear dynamic approximation theory

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

On families of intersecting sets

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

On k-stable functions

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

Compositional complexity of Boolean functions

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

A model of the neocortex

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

On the pairing process and the notion of genealogical distance

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

Quantifier-free versions of first order logic and their psychological significance

Year:
1992
Language:
english
File:
PDF, 1.13 MB
english, 1992
70

Remarks on infinite systems of equations

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

On boolean functions and connected sets

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

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
73

Model completeness of some metric completions of absolutely free algebras

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

On convex linear forms

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

On the Formalization of Theories

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

IRELAND.

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

Organization of Memory

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

A Lattice of Interpretability Types of Theories

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

Meeting of the Association for Symbolic Logic, Dallas 1973

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

-Type Silicon and Germanium. II

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

-Type Silicon and Germanium

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

Keyboards for pure music

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

5744

Year:
1971
Language:
english
File:
PDF, 283 KB
english, 1971
88

Representations of Infinite Permutations by Words

Year:
1987
Language:
english
File:
PDF, 163 KB
english, 1987
91

A Learning Theorem for Linear Operators

Year:
1988
Language:
english
File:
PDF, 148 KB
english, 1988
92

6112

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

5941

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

5856

Year:
1973
Language:
english
File:
PDF, 244 KB
english, 1973
96

E2852

Year:
1982
Language:
english
File:
PDF, 87 KB
english, 1982
97

6315

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

6257

Year:
1981
Language:
english
File:
PDF, 99 KB
english, 1981
99

6233

Year:
1980
Language:
english
File:
PDF, 333 KB
english, 1980
100

THE TARSKI SYMPOSIUM

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