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

Bookmarks Report an error
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

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]
Bookmarks Report an error