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