Prof. G. K. Chadha Library

Your cart is empty.
Normal view MARC view ISBD view

Introduction to mathematical logic / Michal Walicki.

By: Walicki, Michał.
Material type: TextTextPublisher: Singapore ; Hackensack, NJ : World Scientific, 2012Description: xii, 268 p. : ill. ; 24 cm.ISBN: 9789814343862 (hbk.); 9814343862 (hbk.); 9789814343879 (pbk.); 9814343870 (pbk.).Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
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"?
Reviews from LibraryThing.com:
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
Books Books Prof. G. K. Chadha Library

South Asian University

General Stacks 		511.3 W176m (Browse shelf) Available BK00004994
Total holds: 0

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

Open Library:

Powered by Koha

//