Term logic with choice operator/

Main Author: Hermes, Hans
Format: Book
Language:English
German
Published: Berlin New York: Springer-Verlag, 1970
Edition:[1st English ed.]
Series:Lecture Notes in Mathematics / Springer-Verlag ; 6
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών510 LNM HerH t 1970 61ΠροβολήOPAC