m
     
Ouvrage

H 0 Introduction to metamathematics

Kleene, Stephen Cole (Principal)

North-Holland Publishing Co.;Wolters-Noordhoff Publishing

1971

550 p.

978-0-7204-2103-3

00004281

00A30 ; 03B22 ; 03D10 ; 03D20

calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel

Ville d'édition : Amsterdam ; Groningen ; London

Pays d'édition : Pays-Bas

Langue : Anglais

N° édition : 6th repri

EAN13 : 9780720421033

ISBN : 0-7204-2103-9

Collation : 24 cm#rel. ; Bibliogr. Pp. 517-537 ; Index

Collection : Bibliotheca mathematics

N° de collection : 0001

Localisation : Ouvrage RdC (KLEE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00004281

[disponible]
Z