Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Title: A Course on Mathematical Logic by Shashi Mohan Srivastava.
Universitext,
Universitext,
Main Entry: Srivastava, Shashi Mohan. author.
SpringerLink (Online service)
Publisher: Springer New York : Imprint: Springer,
Publication Date: 2013.
Publication Place: New York, NY :
ISBN: 9781461457466
Subject: Mathematics.
Computer science.
Algebra.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algebra.
Series: Universitext,
Universitext,
Edition: 2nd ed. 2013.
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.
Related Records: Springer eBooks
Printed edition: 9781461457459
Cover Image: http://images.amazon.com/images/P/9781461457466.jpg

Results 1 - 1 of 1
  Agency: Collection: Item Type: Status: Barcode: Media Type:
JUST Main Library Electronic Resources No Circulation Available Online -633070 Book