UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley

1, 1965

Volltextzugriff (PDF)

Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic

Annals of pure and applied logic, 2004-04, Vol.126 (1), p.77-92

Addison, J.W.

2004

Volltextzugriff (PDF)

The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley

2014

Volltextzugriff (PDF)

Meeting of the Association for Symbolic Logic: Berkeley, 1983

The Journal of symbolic logic, 1984-03, Vol.49 (1), p.322-326

1984

Volltextzugriff (PDF)

Some Consequences of the Axiom of Definable Determinateness

Proceedings of the National Academy of Sciences - PNAS, 1968-03, Vol.59 (3), p.708-712

1968

Volltextzugriff (PDF)

Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 204 pp

The Journal of symbolic logic, 1959-09, Vol.24 (3), p.223-224

Addison, J. W.

1959

Volltextzugriff (PDF)

Eulogy: Alfred Tarski, 1901-1983

Annals of the history of computing, 1984-10, Vol.6 (4), p.335-336

Addison, J.W.

1984

Volltextzugriff (PDF)

Meeting of the Association for Symbolic Logic

The Journal of Symbolic Logic, 1984, Vol.49 (1), p.322-326

1984

Volltextzugriff (PDF)

A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900

The Journal of symbolic logic, 1957-09, Vol.22 (3), p.301-302

Addison, J. W.

1957

Volltextzugriff (PDF)

Review: Heinz Bachmann, Transfinite Zahlen

The Journal of symbolic logic, 1959, Vol.24 (iss. 3), p.223-224

Addison, J. W

1959

Volltextzugriff (PDF)

Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire

The Journal of symbolic logic, 1957, Vol.22 (iss. 3), p.301-302

Addison, J. W

1957

Volltextzugriff (PDF)

Transfinite Zahlen

The Journal of Symbolic Logic, 1959, Vol.24 (3), p.223-224

Addison, J. W.

1959

Volltextzugriff (PDF)

REVIEWS

The Journal of Symbolic Logic, 1959, Vol.24 (3), p.223-224

Addison, J. W.

1959

Volltextzugriff (PDF)

An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire

The Journal of Symbolic Logic, 1957, Vol.22 (3), p.301-302

Addison, J. W.

1957

Volltextzugriff (PDF)

REVIEWS

The Journal of Symbolic Logic, 1957, Vol.22 (3), p.301-302

Addison, J. W.

1957

Volltextzugriff (PDF)

Symposium on the Notion of Recursiveness: The Theory of Hierarchies

Studies in Logic and the Foundations of Mathematics, 1966, Vol.44, p.26-37

Addison, J.W.

1966

Volltextzugriff (PDF)

A Note on Function Quantification

Proceedings of the American Mathematical Society, 1957-10, Vol.8 (5), p.1002-1006

1957

Volltextzugriff (PDF)

PART IV: BIBLIOGRAPHY WITH EXPLANATORY NOTES

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

FOREWORD ON TERMINOLOGY

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

The Theory of Models

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

PART I: INVITED PAPERS

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

LIST OF PAPERS GROUPED BY SUBJECT MATTER

The Theory of Models, 1963, p.XI-XII

1963

Volltextzugriff (PDF)

PART II: CONTRIBUTED PAPERS

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

PART III: ABSTRACTS

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

EVERT WILLEM BETH

The Theory of Models, 1965

1965

Volltextzugriff (PDF)

1 – 25 von 712

Menü

Weitere Dienste

Einstellungen

The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley

Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic

The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley

Meeting of the Association for Symbolic Logic: Berkeley, 1983

Some Consequences of the Axiom of Definable Determinateness

Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 204 pp

Eulogy: Alfred Tarski, 1901-1983

Meeting of the Association for Symbolic Logic

A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900

Review: Heinz Bachmann, Transfinite Zahlen

Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire

Transfinite Zahlen

REVIEWS

An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire

REVIEWS

Symposium on the Notion of Recursiveness: The Theory of Hierarchies

A Note on Function Quantification

PART IV: BIBLIOGRAPHY WITH EXPLANATORY NOTES

FOREWORD ON TERMINOLOGY

The Theory of Models

PART I: INVITED PAPERS

LIST OF PAPERS GROUPED BY SUBJECT MATTER

PART II: CONTRIBUTED PAPERS

PART III: ABSTRACTS

EVERT WILLEM BETH

Suchergebnisse filtern