Introduction to mathematical logic Michal Walicki.

By:

Walicki, Michał

Material type: Text

TextLanguage: English Publication details: Singapore ; Hackensack, NJ : World Scientific, 2012.Description: xii, 268 p. : ill. ; 24 cmISBN:

9789814343862 (hbk.)
9814343862 (hbk.)
9789814343879 (pbk.)
9814343870 (pbk.)

Subject(s):

DDC classification:

511.3 WAL

Contents:

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"?

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
General Books	CUTN Central Library Sciences	Non-fiction	511.3 WAL (Browse shelf(Opens below))	Available		44045

Browsing CUTN Central Library shelves, Shelving location: Sciences, Collection: Non-fiction Close shelf browser (Hides shelf browser)

Previous		No cover image available No cover image available				No cover image available No cover image available	No cover image available No cover image available	Next
Previous	511.3 SRI A Textbook on Automata Theory/	511.3 SUN Formal Languages and Automata Theory	511.3 VOR Bridge to abstract mathematics /	511.3 WAL Introduction to mathematical logic	511.3 YEN Fuzzy logic :	511.313 SHI Introduction to Fuzzy Logic	511.313 SHI Introduction to Fuzzy Logic	Next

Includes index.

There are no comments on this title.

to post a comment.