-
1
-
2
-
3
-
4
-
5
-
6
-
7
Nominal logic, a first order theory of names and binding
Veröffentlicht in Information and computation
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Culture in soft agar of melanoma cells separated from human peripheral blood
Veröffentlicht in British journal of cancer
VolltextArtikel -
16
An application of open maps to categorical logic
Veröffentlicht in Journal of pure and applied algebra
VolltextArtikel -
17
-
18
Tripos theory
Veröffentlicht in Mathematical proceedings of the Cambridge Philosophical Society
VolltextArtikel -
19
-
20