Table of Contents for: A course on mathematical logic

 Staff view

You must be logged in to Tag Records

A course on mathematical logic [electronic resource] /

Shashi Mohan Srivastava.

Book Cover
Main Author: Srivastava, S. M.
Published: New York, NY : Springer, c2013.
Edition: 2nd ed.
Series: Universitext.
Topics: Logic, Symbolic and mathematical.
Genres: Electronic books.
Online Access: SpringerLink Link to A course on mathematical logic (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Completeness Theorem for First-Order Logic -- Model Theory -- Recursive Functions and Arithmetization of Theories -- Representability and Incompleteness Theorems.

Table of Contents for: A course on mathematical logic