m

F Nous contacter

0
     
Ouvrage

H 1 Logic and structure

Van Dalen, Dirk (Principal)

Springer

2013

x; 263 p.

978-1-4471-4557-8

00038606

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00038606 [disponible]
Z