Logical labyrinths
tarafından
 
Smullyan, Raymond M., author.

Başlık
Logical labyrinths

Yazar
Smullyan, Raymond M., author.

ISBN
9780429064937

Fiziksel Tanımlama
1 online resource (viii, 327 pages)

İçerik
1. Be wise, generalize! -- 2. Be wise, symbolize! -- 3. Infinity -- 4. Fundamental results in first-order logic -- 5. Axiom systems -- 6. More on first-order logic.

Konu Terimleri
Logic, Symbolic and mathematical.
 
Mathematical recreations.
 
Puzzles.

Elektronik Erişim
Click here to view.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap538617-1001QA9 .S575 2009CRC E-Books