17 results

> Ergebnisse

Skip to contents

Summer School and Colloquium in Mathematical Logic 1969 Manchester

Proceedings of the Summer School and Colloquium in Mathematical Logic / 1969, Manchester, Aug. 1969

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1971

Published in: Proceedings of the Summer School and Colloquium in Mathematical Logic ; 1969 - Studies in logic and the foundations of mathematics ; 61
Summer School and Colloquium in Mathematical Logic, Logic Colloquium

Proceedings of the Summer School and Colloquium in Mathematical Logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Co., 1965-1971 / Nachgewiesen 8.1963(1965) - 1969(1971)
Gandy, Robin O. [Editor]; Yates, C. M. E. [Other] ; Summer School and Colloquium in Mathematical Logic 1969 Manchester, Summer School and Colloquium in Mathematical Logic 1969 Manchester

Logic Colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland Publ. Co., 1971

Published in: Studies in logic and the foundations of mathematics ; 6100
Crossley, John N. [Editor] ; Summer School in Mathematical Logic 1965 Leicester, Logic Colloquium 10 1965 Leicester

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August - September 1965

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1967

Published in: Studies in logic and the foundations of mathematics
Gandy, Robin O. [Editor]; Yates, C.M.E [Editor] ; Summer School and Colloquium in Mathematical Logic 1969 Manchester

Logic Colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969

View online
Schließen

Access

... to E-book via ScienceDirect

... to E-book via ScienceDirect (Volltext)

... to E-book via ScienceDirect

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; London: North-Holland Publishing Company, 1971 ; [Amsterdam]: Elsevier, [2021?]

Published in: Studies in logic and the foundations of mathematics ; 61
Crossley, John N. [Other] ; Logic Colloquium (10th, 1965, University of Leicester), ScienceDirect (Online service)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

View online
Schließen

Access

... to E-book via ScienceDirect (ScienceDirect ; Volltext)

... to E-book via ScienceDirect (Volltext)

... to E-book via ScienceDirect

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1967 ; Online-Ausg.

Published in: Studies in Logic and the Foundations of Mathematics ; v. 46
Gordon, Carl E.

Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1975

Published in: Journal of Symbolic Logic, 40 (1975) 3, Seite 454-455
Yates, C. E. M.

G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1975

Published in: Journal of Symbolic Logic, 40 (1975) 2, Seite 230-232
Kunen, Kenneth

J. R. Shoenfield. Measurable cardinals. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 19–49

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1975

Published in: Journal of Symbolic Logic, 40 (1975) 1, Seite 93-94
Tharp, Leslie H.

Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1970

Published in: Journal of Symbolic Logic, 35 (1970) 2, Seite 344-345
Thomason, S. K.

C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1970

Published in: Journal of Symbolic Logic, 35 (1970) 4, Seite 589-589
Howard, W. A.

J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1970

Published in: Journal of Symbolic Logic, 35 (1970) 4, Seite 587-588
Drake, Frank R.

R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1970

Published in: Journal of Symbolic Logic, 35 (1970) 3, Seite 472-473
Bredlau, C. E.

J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 272–296

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1969

Published in: Journal of Symbolic Logic, 34 (1969) 3, Seite 519-519
Platek, Richard A.

R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1970

Published in: Journal of Symbolic Logic, 35 (1970) 1, Seite 157-158
Platek, Richard A.

R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1970

Published in: The Journal of Symbolic Logic, 35 (1970) 1, Seite 157-158
Platek, Richard A.

Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1969

Published in: Journal of Symbolic Logic, 34 (1969) 1, Seite 115-116

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.