Topology via logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Vickers, Steven
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge [England] New York Cambridge University Press 1996
Σειρά:Cambridge tracts in theoretical computer science 5
Θέματα:

ΒΚΠ - Πατρα: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: 004.015 1 V
Αντίγραφο 1 Στη βιβλιοθήκη