Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : Vickers, Steven  Voir les notices liées en tant qu'auteur

Titre(s) : Topology via logic [Texte imprimé] / Steven Vickers,...

Publication : Cambridge : Cambridge university press, 1990

Description matérielle : 200 p. : ill. ; 25 cm

Collection : Cambridge tracts in theoretical computer science ; 5

Lien à la collection : Cambridge tracts in theoretical computer science  Voir toutes les notices liées

Note(s) : Bibliogr. p. 191-195. Index

Sujet(s) : Topologie -- Informatique  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  514.028 5 (23e éd.) = Topologie - Informatique appliquée  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-521-36062-5 (rel.)

Identifiant de la notice  : ark:/12148/cb37361896d

Notice n° :  FRBNF37361896