Eylem Seç
Solvable cases of the decision problem.
Başlık:
Solvable cases of the decision problem.
Yazar:
Ackermann, W. (Wilhelm), 1896-1962.
ISBN:
9780444533807
9781283526265
9786613838711
9780080957357
Yazar Ek Girişi:
Yayın Bilgileri:
Amsterdam, North-Holland Pub. Co., 1954.
Fiziksel Tanımlama:
1 online resource (114 pages)
Seri:
Studies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics.
İçerik:
Validity and statisfiability in finite domains -- Decision proglem -- Solution of the decision problem for well-formed formulas only monadic predicate variables -- Some general theorems about the validity of formulas of the predicate calculus of first order including equality -- Solution of the decision problem for Wffs with special prefixes -- Further classes of prefixes for which the decision problem can be solved -- General remarks about further investigations -- Decision problem for Wffs with functional variables.
Özet:
Provability, Computability and Reflection.
Tür:
Elektronik Erişim:
ScienceDirect https://www.sciencedirect.com/science/book/9780444533807 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/15 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=15Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
BC135 .A3 | 1192457-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.