FrançaisChecking landau 's "grundlagen" in the automath system
Ouvrage
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
Publisher City : Amsterdam
Publisher country : Pays-Bas
Language : English
EAN13 : 9789061961475
ISBN : 90-6196-147-5
Collation : 24 cm#broch. ; Bibliogr.
Series : Mathematical centre tracts
Nb in series : 0083
Location : Collection 1er étage
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | C/TREN/ | 00010403 | [available] |
