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

Ouvrage

Authors : Srivastava, S. M. (Principal)

Publisher : Springer

Publication Date : 2008

Page nbr/n° : x; 140 p.

ISBN : 978-0-387-76275-3

Call n° : 00035572

MSC Codes : 03-XX ; 03-01

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

Publisher City : New York

Publisher country : États-Unis

Language : English

EAN13 : 9780387762753

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

Series : Universitext

Location : Ouvrage RdC (SRIV)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Number of copies : 1

No.	Call n°	Bar code	Commentary
1		00035572	[available]