Language in Action: Categories, Lambdas, and Dynamic Logic

by Johan van Benthem

Paperback

details (United States).

ISBN: 978-0-262-72024-3

ISBN-10: 0-262-72024-8

The MIT Press · 1995