CIRM - Videos & books Library - a Course on mathematical logic

Ouvrage

Auteurs : Srivastava, S. M. (Principal)

Editeur : Springer

Date de parution : 2008

Nbre/N° de page : x; 140 p.

ISBN : 978-0-387-76275-3

Cote : 00035572

Codes MSC : 03-XX ; 03-01

logique # théorème de Gödel # complétude # incomplétude

Ville d'édition : New York

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780387762753

Collation : 24 cm#broch.#photogr.#index

Collection : Universitext

Localisation : Ouvrage RdC (SRIV)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00035572	[disponible]