Sets and proofs :invited papers from Logic Colloquium ʹ97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /

Corporate Authors: Logic Colloquium, Association for Symbolic Logic
Other Authors: Cooper, S. B.
Format: Book
Language:English
Published: New York : Cambridge University Press , 1999 .
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
ΤΕΙ Αθήνας-1ΠροβολήOPAC