m
     
Ouvrage

H 0 Checking landau 's "grundlagen" in the automath system

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


Exemplaires

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

[disponible]
Z