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

Auteur(s) : Li, Wei (1943 June-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Mathematical logic [Texte électronique] : foundations for information science / Wei Li.

Publication : Basel ; Boston : Birkhäuser, cop. 2010

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

Collection : Progress in computer science and applied logic ; v. 25

Note(s) : Includes bibliographical references (pages 251-255) and index

Sujet(s) : Logique mathématique  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 9783764399771

Identifiant de la notice  : ark:/12148/cb44714971d

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

Table des matières : Syntax of first-order langauges ; Models of first-order languages ; Formal inference systems ; Computability and representability ; Gödel theorems ; Sequences of formal theories ; Revision calculus ; Version sequences ; Inductive inference ; Workflows for scientific discovery.