En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Checking landau 's "grundlagen" in the automath system

Sélection Signaler une erreur
Ouvrage

Van Benthem Jutting, L. S. (Principal)

Mathematisch Centrum

1985

120 p.

978-90-6196-147-5

00010403

03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05

axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9789061961475

ISBN : 90-6196-147-5

Collation : 24 cm#broch. ; Bibliogr.

Collection : Mathematical centre tracts

N° de collection : 0083

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/TREN/ 00010403

[disponible]
Sélection Signaler une erreur