Advanced logic for applications

Opis bibliograficzny
1. autor:	Grandy, Richard E.
Format:	Książka
Język:	English
Wydane:	Dordrecht D. Reidel c1979.
Seria:	Synthese library v. 110
Hasła przedmiotowe:	Logic, Symbolic and mathematical.