KOBV-Portal

Online-Ressource

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 (1983)

Chong, Chi-tat [Sonstige] 1949- ; Wicks, Malcolm John [Sonstige]

Amsterdam, The Netherlands ; New York : North-Holland | New York, N.Y : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036962677

Umfang: 1 Online-Ressource (xiv, 210 p.) , 23 cm

Ausgabe: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3

ISBN: 0444867066 , 9780444867063

Serie: Studies in logic and the foundations of mathematics v. 111

Anmerkung: Includes bibliographies

Weitere Ausg.: Reproduktion von Southeast Asian Conference on Logic 1983

Sprache: Englisch

Fachgebiete: Mathematik , Philosophie

RVK:

CC 2600

RVK:

SD 1981

RVK:

SK 130

Schlagwort(e): Logik ; Mathematik ; Logik ; Mathematische Logik ; Logik ; Mathematik ; Konferenzschrift

URL: Volltext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

HWR Berlin

EUV Frankfurt

TH Brandenburg

HTW Berlin

TH Wildau

BTU Cottbus

BHT

Online-Ressource

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 (1983)

Southeast Asian Conference on Logic (1981 : Singapore) ; Chong, C.-T. 1949- ; Wicks, M. J. 1928-

Amsterdam, Netherlands :North-Holland Publishing,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_9958085041202883

Umfang: 1 online resource (225 p.)

ISBN: 0-08-096037-5

Serie: Studies in Logic and the Foundations of Mathematics ; Volume 111

Inhalt: Southeast Asian Conference on Logic

Anmerkung: Description based upon print version of record. , Front Cover; Southeast Asian Conference on Logic; Copyright Page; Preface; Organization and Sponsors; Acknowledgements; Summary of Programme; List of Participants; Contents; Chapter 1. Model - Theoretic Forms of the Axiom of Choice; Chapter 2. Orthologic, Forcing , and the Manifestation of Attributes; Chapter 3. Undecidability and Recursive Equivalence I; Chapter 4. Nonstandard Analysis by Axiomatic Method; Chapter 5. The Structures of Recursion Theory; Chapter 6. Effective Immune Sets, Program Index Sets and Effectively Simple Sets - Generalizations and Applications of the Recursion Theorem , Chapter 7. Some Remarks on Barwise Approximation Theorem on Henkin QuantifiersChapter 8. Formal Systems and Boolean Valued Combinatorics; Chapter 9. Recursion Theory on Matroids II; Chapter 10. On the Number of Countable Models; Chapter 11. Sequentially Large Cardinals , English

Weitere Ausg.: ISBN 1-299-77353-2

Weitere Ausg.: ISBN 0-444-86706-6

Sprache: Englisch

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

HU Berlin

FU Berlin

Charité

Online-Ressource

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 (1983)

Southeast Asian Conference on Logic (1981 :Singapore) ; Chong, Chi-tat 1949- ; Wicks, Malcolm John 1928- ; [weitere]

Amsterdam, The Netherlands : North-Holland | New York, N.Y : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1684907772

Umfang: Online-Ressource , xiv, 210 p , 23 cm

Ausgabe: Online-Ausg.] Elsevier e-book collection on ScienceDirect

ISBN: 0444867066 , 9780444867063

Serie: Studies in logic and the foundations of mathematics v. 111

Anmerkung: Includes bibliographies

Weitere Ausg.: Erscheint auch als Druck-Ausgabe Southeast Asian Conference on Logic (1 : 1981 : Singapur) Southeast Asian Conference on Logic Amsterdam [u.a.] : North-Holland, 1983 ISBN 0444867066

Sprache: Englisch

Fachgebiete: Mathematik , Philosophie

RVK:

CC 2600

RVK:

SD 1981

RVK:

SK 130

Schlagwort(e): Mathematische Logik ; Logik ; Mathematik ; Logik ; Mathematische Logik ; Logik ; Mathematik ; Mathematische Logik ; Konferenzschrift

URL: Volltext (Deutschlandweit zugänglich)

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Stabi Berlin

UB Potsdam

Buch

Southeast Asian Conference on Logic : proc. of the Logic Conference, Singapore, 1981 (1983)

Southeast Asian Conference on Logic 1 1981 Singapur ; Chong, Chi-tat [Hrsg.] 1949-

Amsterdam [u.a.] : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_024282634

Umfang: XIV, 210 S. , Ill.

ISBN: 0444867066

Serie: Studies in logic and the foundations of mathematics 111

Anmerkung: Literaturangaben

Weitere Ausg.: Erscheint auch als Online-Ausgabe Southeast Asian Conference on Logic ((1981 :Singapore)) Southeast Asian Conference on Logic Amsterdam, The Netherlands : North-Holland, 1983 ISBN 0444867066

Weitere Ausg.: ISBN 9780444867063

Sprache: Englisch

Fachgebiete: Mathematik , Philosophie

RVK:

CC 2600

RVK:

SK 130

RVK:

SD 1981

Schlagwort(e): Mathematische Logik ; Logik ; Mathematik ; Logik ; Mathematische Logik ; Logik ; Mathematik ; Mathematische Logik ; Konferenzschrift

URL: Inhaltsverzeichnis

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

MPI Bildungsforschung

Buch

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 (1983)

Southeast Asian Conference on Logic 1 1981 Singapur ; Chong, Chi-Tat

Amsterdam [u.a.] :North-Holland,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV000117849

Umfang: XIV, 210 S.

ISBN: 0-444-86706-6

Serie: Studies in logic and the foundations of mathematics 111

Sprache: Englisch

Fachgebiete: Mathematik , Philosophie

RVK:

CC 2600

RVK:

SD 1981

RVK:

SK 130

Schlagwort(e): Logik ; Mathematik ; Logik ; Mathematische Logik ; Logik ; Mathematik ; Konferenzschrift ; Konferenzschrift

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

FU Berlin

TU Berlin

Treffer 1 - 5 | 5 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Kooperativer Bibliotheksverbund

Berlin Brandenburg