m
     
Ouvrage

H 0 Zarys logiki matematycznej

Grzegorczyk, Andrzej (Principal)

Panstwowe Wydawnictwo Naukowe

1961

477 p.

00007898

03-02 ; 03-03 ; 03B25 ; 03D20 ; 03E10

complétion # constructivité # fonction récursive # groupe abélien # logique mathématique # métamathématique # nombre ordinal # quantificateur # quantificateur de fonction # système déductif # sémantique # théorie des treillis # théorie indécidable # théorème de Herbrand-Gentzen # théorème de Skolem-Löwenheim généralisé # vérité

Ville d'édition : Warszawa

Pays d'édition : Pologne

Langue : Polonais

Collation : 25 cm#rel. ; Bibliogr.

Collection : Biblioteka matematyczna

N° de collection : 0020

Localisation : Ouvrage RdC (GRZE)

Notes : Don S. Mandelbrojt

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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

[disponible]
Z