跳到内容
A course on mathematical logic 预览资料
关闭预览资料
正在查...

A course on mathematical logic

著者: S M Srivastava
出版商: New York : Springer, ©2008.
丛书: Universitext.
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
提要:

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  再读一些...

评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: S M Srivastava
ISBN: 9780387762753 0387762752
OCLC号码: 180470520
描述: x, 140 p. ; 23 cm.
内容: 1. Syntax of First-Order Logic --
First-order languages --
Terms of a language --
Formulas of a language --
First-order theories --
2. Semantics of First-Order Languages --
Structures of first-order languages --
Truth in a structure --
Model of a theory --
Embeddings and isomorphisms --
3. Propositional Logic --
Syntax of propositional logic --
Semantics of propositional logic --
Compactness theorem for propositional logic --
Proof in propositional logic --
Metatheorems in propositional logic --
Post tautology theorem --
4. Proof and Metatheorems in First-Order Logic --
Proof in first-order logic --
Metatheorems in first-order logic --
Some metatheorems in arithmetic --
Consistency and completeness --
5. Completeness Theorem and Model Theory --
Completeness theorem --
Interpretations in a theory --
Extension by definitions --
Compactness theorem and applications --
Complete theories --
Applications in algebra --
6. Recursive Functions and Arithmetization of Theories --
Recursive functions and recursive predicates --
Semirecursive predicates --
Arithmetization of theories --
Decidable theories --
7. Incompleteness Theorems and Recursion Theory --
Representability --
First incompleteness theorem --
Arithmetical sets --
Recursive extensions of peano arithemetic --
Second incompleteness theorem.
丛书名: Universitext.
责任: S.M. Srivastava.
更多信息:

评论

社评

出版商概要

From the reviews: "This is an introductory textbook on modern mathematical logic, aimed at upper-level undergraduates. ... The book is well-equipped with examples ... ." (Allen Stenger, MathDL, July, 再读一些...

 
用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/180470520>
library:oclcnum"180470520"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/180470520>
rdf:typeschema:Book
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1002068>
rdf:typeschema:Intangible
schema:name"Logic, Symbolic and mathematical"@en
schema:name"Logic, Symbolic and mathematical."@en
schema:about
schema:about
schema:copyrightYear"2008"
schema:creator
schema:datePublished"2008"
schema:description"1. Syntax of First-Order Logic -- First-order languages -- Terms of a language -- Formulas of a language -- First-order theories -- 2. Semantics of First-Order Languages -- Structures of first-order languages -- Truth in a structure -- Model of a theory -- Embeddings and isomorphisms -- 3. Propositional Logic -- Syntax of propositional logic -- Semantics of propositional logic -- Compactness theorem for propositional logic -- Proof in propositional logic -- Metatheorems in propositional logic -- Post tautology theorem -- 4. Proof and Metatheorems in First-Order Logic -- Proof in first-order logic -- Metatheorems in first-order logic -- Some metatheorems in arithmetic -- Consistency and completeness -- 5. Completeness Theorem and Model Theory -- Completeness theorem -- Interpretations in a theory -- Extension by definitions -- Compactness theorem and applications -- Complete theories -- Applications in algebra -- 6. Recursive Functions and Arithmetization of Theories -- Recursive functions and recursive predicates -- Semirecursive predicates -- Arithmetization of theories -- Decidable theories -- 7. Incompleteness Theorems and Recursion Theory -- Representability -- First incompleteness theorem -- Arithmetical sets -- Recursive extensions of peano arithemetic -- Second incompleteness theorem."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/158307196>
schema:inLanguage"en"
schema:name"A course on mathematical logic"@en
schema:numberOfPages"140"
schema:publisher
schema:url
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA788111>
umbel:isLike<http://d-nb.info/985775416>

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.