Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Rautenberg, Wolfgang  Voir les notices liées en tant qu'auteur

Titre(s) : A concise introduction to mathematical logic [Texte électronique] / Wolfgang Rautenberg

Édition : 3rd ed.

Publication : New York, NY : Springer, c2010

Description matérielle : 1 ressource dématérialisée

Collection : Universitext

Note(s) : Includes bibliographical references (p. 299-306) and index

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet
Programmation logique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9781441912213

Identifiant de la notice  : ark:/12148/cb44661102h

Notice n° :  FRBNF44661102 (notice reprise d'un réservoir extérieur)

Table des matières : Propositional logic ; First-order logic ; Complete logical calculi ; Foundations of logic programming ; Elements of model theory ; Incompleteness and undecidability ; On the theory of self-reference.