Advanced logic for applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Grandy, Richard E.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht D. Reidel c1979.
Σειρά:	Synthese library v. 110
Θέματα:	Logic, Symbolic and mathematical.