Logic Colloquium '88 (eBook)
402 Seiten
Elsevier Science (Verlag)
978-0-08-088767-8 (ISBN)
As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''.
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today.As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''.
Front Cover 1
Logic Colloquium '88 4
Copyright Page 5
TABLE OF C0NTENTS 8
Preface 6
Chapter 1. On the model theory of free metabelian groups of bounded exponent 10
Chapter 2. D.O.P and n-tuples of models 20
Chapter 3. Algebra and model theory of chain fields: an overview 38
Chapter 4. A Lefschetz principle for integral closures 62
Chapter 5. The C*-algebras of three-valued logic 70
Chapter 6. Some problems and results in the theory of actually computable functions 88
Chapter 7. Kleene-spaces 100
Chapter 8. On bounded time Turing reducibility on the recursive sets 120
Chapter 9. The .1/2-singleton conjecture: an introduction 122
Chapter 10. The descriptive set theory of s-ideals of compact sets 126
Chapter 10. The descriptive set theory of s-ideals of compact sets 126
Chapter 11. Solving equation in lambda-calculus(1) 148
Chapter 12. Comparative logics and abelian l-groups 170
Chapter 13. Finitary inductively presented logics 200
Chapter 14. Geometry of interaction 1: interpretation of system F 230
Chapter 15. Intuitionistic formal spaces and their neighbourhood 270
Chapter 16. Probabilistic models 296
Chapter 17. Logical partial functions and extension of equational logic 328
Part 1: Panel discussion on: TRENDS IN LOGIC 364
Chapter 18. Relation with computer science 366
Chapter 19. Some remarks 370
Chapter 20. Trends in logic 374
Chapter 21. Remarks concerning the comments of A. Macintyre 378
Chapter 22. Remarks on logic in mathematics and in computer science 380
Chapter 23. Comments in the panel discussion on trends in logic 384
Chapter 24. Concluding remarks in the panel discussion 386
Part 2: Panel discussion on: THE TEACHING OF LOGIC 388
Chapter 25. The teaching of logic 390
Chapter 26. Teaching the incompleteness theorem 394
Chapter 27. LTF - a logic teaching framework 402
| Erscheint lt. Verlag | 4.8.1989 |
|---|---|
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| Naturwissenschaften | |
| Technik | |
| ISBN-10 | 0-08-088767-8 / 0080887678 |
| ISBN-13 | 978-0-08-088767-8 / 9780080887678 |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
