Author: Benthem, Johan van
Title: LANGUAGE IN ACTION. Categories, Lambdas and Dynamic Logic.
Description: Amsterdam/Cambridge, North-Holland/The MIT Press, 1995. 1st edition 365 pages. Pb. very good condition

Keywords: mathematics, wiskunde, informatica,