Advanced logic for applications

Bibliografiska uppgifter
Huvudupphovsman:	Grandy, Richard E.
Materialtyp:	Bok
Språk:	English
Publicerad:	Dordrecht D. Reidel c1979.
Serie:	Synthese library v. 110
Ämnen:	Logic, Symbolic and mathematical.