Introduction to mathematical logic /
Published by : World Scientific, (Singapore ; | Hackensack, NJ :) Physical details: xii, 268 p. : ill. ; 24 cm. ISBN:9789814343862 (hbk.); 9814343862 (hbk.); 9789814343879 (pbk.); 9814343870 (pbk.).
Book
| Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Riara University Library General stack | QA9.W334 2012 (Browse shelf (Opens below)) | C.1 | Available | 7537/16 | ||
| Riara University Library General stack | QA9.W334 2012 (Browse shelf (Opens below)) | C.2 | Available | 7538/16 |
Browsing Riara University Library shelves, Shelving location: General stack Close shelf browser (Hides shelf browser)
| QA274 .X58 2010 Numerical methods for stochastic computations: | QA274 .X58 2010 Numerical methods for stochastic computations: | QA274 .X58 2010 Numerical methods for stochastic computations: | QA9.W334 2012 Introduction to mathematical logic / | QA9.W334 2012 Introduction to mathematical logic / | QA37.2.L37 1991 Finite mathematics with calculus / | QA37.2.S576 1988 College mathematics and calculus :with applications to management, life, and social sciences / |
Includes index.
A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and completeness -- Why is first order logic "First Order"?
There are no comments on this title.