Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Print Material
Author Walicki, Michal.

Title Introduction to mathematical logic / by Michal Walicki.

Imprint Singapore ; London : World Scientific, 2012.

Copies

Location Call No. OPAC Message Status
 Axe 2nd Floor Stacks  511.3 W149i 2012    ---  Available
Description xii, 268 p. : ill. ; 24 cm.
Note Includes index.
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"?
Subject Logic, Symbolic and mathematical.
ISBN 9789814343879 (pbk.)
9789814343862 (hbk.)
9814343862 (hbk.)
9814343870 (pbk.)

 
    
Available items only