منو
رکورد قبلیرکورد بعدی

" Fundamentals of mathematical logic / "


Document Type : BL
Record Number : 843915
Main Entry : Hinman, Peter G.
Title & Author : Fundamentals of mathematical logic /\ Peter G. Hinman.
Publication Statement : Wellesley, Mass. :: A K Peters,, ©2005.
Page. NO : 1 online resource (xvi, 878 pages) :: illustrations
ISBN : 1315275538
: : 1439864276
: : 9781315275536
: : 9781439864272
: 9781568812625
Bibliographies/Indexes : Includes bibliographical references (pages 821-828) and indexes.
Contents : 1. Propositional logic and other fundamentals -- 2. First-order logic -- 3. Completeness and compactness -- 4. Incompleteness and undecidability -- 5. Topics in definability -- 6. Set theory -- 7. Model theory -- 8. Recursion theory.
Subject : Logic, Symbolic and mathematical.
Subject : Model theory.
Subject : Recursion theory.
Subject : Set theory.
Subject : Logic, Symbolic and mathematical.
Subject : MATHEMATICS-- General.
Subject : Model theory.
Subject : Recursion theory.
Subject : Set theory.
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9‬‭.H527 2005‬
copyhttps://lib.clisel.com/site/catalogue/843915
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟