Advanced logic for applications

מידע ביבליוגרפי
מחבר ראשי:	Grandy, Richard E.
פורמט:	ספר
שפה:	English
יצא לאור:	Dordrecht D. Reidel c1979.
סדרה:	Synthese library v. 110
נושאים:	Logic, Symbolic and mathematical.