pular para conteúdo
A course on mathematical logic Ver prévia deste item
FecharVer prévia deste item
Checando...

A course on mathematical logic

Autor: S M Srivastava
Editora: New York : Springer, ©2008.
Séries: Universitext.
Edição/Formato   Livro : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Tipo de Material: Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: S M Srivastava
ISBN: 9780387762753 0387762752
Número OCLC: 180470520
Descrição: x, 140 p. ; 23 cm.
Conteúdos: 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.
Título da Série: Universitext.
Responsabilidade: S.M. Srivastava.
Mais informações:

Críticas

Críticas editoriais

Nielsen BookData

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, Ler mais...

 
Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.

Ítens Similares

Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<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

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.