Browse editions

Current edition
Language in Action, Volume 130: Categories, Lambdas and Dynamic Logic by J. Van Benthem

Language in Action, Volume 130: Categories, Lambdas and Dynamic Logic

Studies in Logic and the Foundations of Mathematics, Volume 146

J. Van Benthem

348 pages • hardcover

nonfiction art computer science design medium-paced
Other editions (1)
Expand filter menu Filter editions
Language in Action: Categories, Lambdas, and Dynamic Logic by Johan van Benthem
Language in Action: Categories, Lambdas, and Dynamic Logic
—
Johan van Benthem

Language in Action: Categories, Lambdas, and Dynamic Logic

Studies in Logic and the Foundations of Mathematics, Volume 146

Johan van Benthem

377 pages • paperback • 1991

nonfiction art computer science design medium-paced