J. Van Benthem

1 book

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