aller au contenu
A course on mathematical logic Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

A course on mathematical logic

Auteur : S M Srivastava
Éditeur : New York : Springer, ©2008.
Collection : Universitext.
Édition/format :   Livre imprimé : EnglishVoir toutes les éditions et tous les formats
Base de données :WorldCat
Résumé :

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  Lire la suite...

Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage : Ressource Internet
Format : Book, Internet Resource
Tous les auteurs / collaborateurs : S M Srivastava
ISBN : 9780387762753 0387762752
Numéro OCLC : 180470520
Description : x, 140 pages ; 23 cm.
Contenu : 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.
Titre de collection : Universitext.
Responsabilité : S.M. Srivastava.
Plus d’informations :

Critiques

Critiques éditoriales

Synopsis de l’éditeur

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, Lire la suite...

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Étiquettes

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<http://www.worldcat.org/oclc/180470520> # A course on mathematical logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "180470520" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/158307196#Topic/symbolisk_logik> ; # Symbolisk logik
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/158307196#Topic/aussagenlogik> ; # Aussagenlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/158307196#Topic/mathematical_logic_and_foundations> ; # Mathematical logic and foundations
   schema:about <http://experiment.worldcat.org/entity/work/data/158307196#Topic/mathematische_logik> ; # Mathematische Logik
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2008" ;
   schema:creator <http://viaf.org/viaf/66622465> ; # Shashi Mohan Srivastava
   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 <http://experiment.worldcat.org/entity/work/data/158307196#Series/universitext> ; # Universitext.
   schema:name "A course on mathematical logic"@en ;
   schema:productID "180470520" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/180470520#PublicationEvent/new_york_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/158307196#Agent/springer> ; # Springer
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016276476&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016276476&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy0804/2008920049.html> ;
   schema:workExample <http://worldcat.org/isbn/9780387762753> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA788111> ;
   umbel:isLike <http://d-nb.info/985775416> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/180470520> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/158307196#Series/universitext> # Universitext.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/180470520> ; # A course on mathematical logic
   schema:name "Universitext." ;
   schema:name "Universitext" ;
    .

<http://experiment.worldcat.org/entity/work/data/158307196#Topic/mathematical_logic_and_foundations> # Mathematical logic and foundations
    a schema:Intangible ;
   schema:name "Mathematical logic and foundations"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/158307196#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/66622465> # Shashi Mohan Srivastava
    a schema:Person ;
   schema:familyName "Srivastava" ;
   schema:givenName "Shashi Mohan" ;
   schema:givenName "S. M." ;
   schema:name "Shashi Mohan Srivastava" ;
    .

<http://worldcat.org/isbn/9780387762753>
    a schema:ProductModel ;
   schema:isbn "0387762752" ;
   schema:isbn "9780387762753" ;
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Dont have an account? You can easily créez un compte gratuit.