Mathematical interpretation of formal systems
Başlık:
Mathematical interpretation of formal systems
Yazar:
Wiskundig Genootschap (Netherlands)
ISBN:
9780444533814
Tüzel Kişi Adı Yazar Girişi:
Yayın Bilgileri:
Amsterdam, North-Holland Pub. Co., 1955.
Fiziksel Tanımlama:
1 online resource (viii, 113 pages)
Seri:
Studies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics.
Genel Not:
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
İçerik:
Peano's axioms and models of arithmetic / Th. Skolem -- On definability and derivability / G. Hasenjaeger -- Models, translations and interpretations / G. Kreisel -- Ordered structures and related concepts / Abraham Robinson -- On denumerable bases of formal systems / Hao Wang -- Representation theorem for cylindrical algebras / L. Henkin -- Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres / Jerzy Loś.
Tür:
Added Author:
Elektronik Erişim:
ScienceDirect https://www.sciencedirect.com/science/book/9780444533814 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/16 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=16Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
QA9 .W72 1955 | 1192458-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.