passa ai contenuti
A course on mathematical logic Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

A course on mathematical logic

Autore: S M Srivastava
Editore: New York : Springer, ©2008.
Serie: Universitext.
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:

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  Per saperne di più…

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: S M Srivastava
ISBN: 9780387762753 0387762752
Numero OCLC: 180470520
Descrizione: x, 140 p. ; 23 cm.
Contenuti: 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.
Titolo della serie: Universitext.
Responsabilità: S.M. Srivastava.
Maggiori informazioni:

Commenti

Recensioni editoriali

Sinossi editore

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, Per saperne di più…

 
Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.