Ładuje się......

Logic for computer science : Foundations of Automatic Theorem proving/

Opis bibliograficzny
1. autor: Gallier, Jean H.
Format: Printed Book
Język:English
Wydane: John Wiley & Sons, 1987.