A course on mathematical logic / by S. M. Srivastava

By: Srivastava, S. MMaterial type: TextTextPublication details: New Delhi : Springer, 2012, 2008cDescription: x, 140 p. ; 23 cmISBN: 9788132206743 (pbk)Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
Contents:
Preface.- Syntax of first order logic.- Semantics of first-order languages.- Propositional logic.- Proof and metatheorems in first-order logic.- Completeness theorem and model theory.- Recursive functions and arithmetization of theories.- Incompleteness theorems and recursion theory.- References.- Index
Summary: This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Mathematics 		511.3 SRI-C 2012 728 (Browse shelf (Opens below)) Available 728
Total holds: 0

Index included

Preface.- Syntax of first order logic.- Semantics of first-order languages.- Propositional logic.- Proof and metatheorems in first-order logic.- Completeness theorem and model theory.- Recursive functions and arithmetization of theories.- Incompleteness theorems and recursion theory.- References.- Index

This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness

There are no comments on this title.

to post a comment.