Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Başlık:
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Yazar:
Logic Colloquium (1987 : Granada, Spain)
ISBN:
9780444880222
9781435686991
9781281716491
9781282711198
9786612711190
9786611716493
9780080880024
9780080880068
9780080880020
Toplantı Adı Girişi:
Yayın Bilgileri:
Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
Fiziksel Tanımlama:
1 online resource (x, 375 pages).
Seri:
Studies in logic and the foundations of mathematics ; v. 129
Studies in logic and the foundations of mathematics ; v. 129.
İçerik:
Chapter 9. An Introduction to Extenders and Core Models for Extender SequencesChapter 10. Logical Aspects of the Axiomatic Method: On Their Significance in (Traditional) Foundations and in Some (Now) Common or Garden Varieties of Mathematics; Chapter 11. On the Use of Diagonally Nonrecursive Functions; Chapter 12. Some Aspects of Impredicativity: Notes on Weyl's Philosophy of Mathematics and on Today's Type Theory; Chapter 13. General Logics; Chapter 14. Semantic Parallels in Natural Language and Computation
Özet:
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
Konu Başlığı:
Added Author:
Elektronik Erişim:
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444880222 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129 ScienceDirect https://www.sciencedirect.com/science/book/9780444880222Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
QA9 .A1 L63 1987 EB | 1191575-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.