컨텐츠로 이동
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 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<http://www.worldcat.org/oclc/180470520>
library:oclcnum"180470520"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
schema:about
schema:about
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:isPartOf
schema:name"A course on mathematical logic"@en
schema:numberOfPages"140"
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA788111>
umbel:isLike<http://d-nb.info/985775416>
wdrs:describedby

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.