A Course on Mathematical Logic

A Course on Mathematical Logic

by Shashi Mohan Srivastava

Paperback(2nd ed. 2013)

Want it by Wednesday, November 21 Order now and choose Expedited Shipping during checkout.

Product Details

ISBN-13: 9781461457459
Publisher: Springer New York
Publication date: 01/15/2013
Series: Universitext
Edition description: 2nd ed. 2013
Pages: 198
Product dimensions: 6.10(w) x 9.10(h) x 0.60(d)

About the Author

Shashi Mohan Srivastava is a professor at the Indian Statistical Institute, Kolkata, India. He is also the author of A Course on Borel Sets (GTM 180), and recipient of the Indian National Science Academy Medal for Young Scientists in 1981.

Table of Contents

Preface.- 1 Syntax of First-Order Logic.- 2 Semantics of First-Order Languages.- 3 Propositional Logic.- 4 Completeness Theorem for First-Order Logic.- 5 Model Theory.- 6 Recursive Functions and Arithmetization of Theories.- 7 Incompleteness Theorems and Recursion Theory.- References.- Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews