logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

Ville d'édition : London

Pays d'édition : Grande-Bretagne

Langue : Anglais

N° édition : 5th ed.

EAN13 : 9781447145578

Collation : 24 cm#broch.#index

Collection : Universitext

Localisation : Ouvrage RdC (VAND)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires