Cabal Seminar 76-77: Proceedings, Caltech-UCLA Logic Seminar 1976-77 von Kechris, A. S, Moschovakis, Y. N

Volltext

Cabal Seminar 77 - 79: Proceedings, Caltech-UCLA Logic Seminar 1977 - 79 von Kechris, A. S, Martin, D. A, Moschovakis, Y. N

Volltext

On primitive recursive algorithms and the greatest common divisor function von Moschovakis, Yiannis N.

Volltext

Notes on Set Theory von Moschovakis, Yiannis

Volltext

Descriptive Set Theory von Moschovakis, Y. N

Volltext

A game-theoretic, concurrent and fair model of the typed λ-calculus, with full recursion von Moschovakis, Yiannis N.

Volltext

Elementary Induction on Abstract Structures von Beklemishev, Lev D

Volltext

Computable concurrent processes von Moschovakis, Yiannis N.

Volltext

Recursion and Complexity von Moschovakis, Yiannis N.

Volltext

A model of concurrency with fair merge and full recursion von Moschovakis, Yiannis N.

Volltext

Notes on Set Theory von Moschovakis, Yiannis

Volltext

Cabal Seminar 79–81: Proceedings, Caltech-UCLA Logic Seminar 1979–81 von Kechris, Alexander S, Martin, Donald A, Moschovakis, Yiannis N

Volltext

The next admissible set von Barwise, K. J., Gandy, R. O., Moschovakis, Y. N.

Volltext

Handbook of Mathematical Logic von Barwise, J

Volltext

Is the Euclidean Algorithm Optimal Among its Peers? von Van Den Dries, Lou, Moschovakis, Yiannis N.

Volltext

Some Consequences of the Axiom of Definable Determinateness von Addison, J. W., Moschovakis, Yiannis N.

Volltext

The formal language of recursion von Moschovakis, Yiannis N.

Volltext

The logic of recursive equations von Hurkens, A. J. C., McArthur, Monica, Moschovakis, Yiannis N., Moss, Lawrence S., Whitney, Glen T.

Volltext

The formal language of recursion von Moschovakis, Yiannis N.

Volltext

Descriptive Set Theory von Moschovakis, Y. N

Volltext