An edition of Proof, Computation and Agency (2011)

Proof, Computation and Agency

Logic at the Crossroads

Johan van Benthem, Amitabha Gu ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

February 26, 2022 | History

Edit

An edition of Proof, Computation and Agency (2011)

This edition doesn't have a description yet. Can you add one?

Publish Date

2013

Publisher

Springer Netherlands

Language

English

Check nearby libraries

Buy this book

Previews available in: English

Showing 3 featured editions. View all 3 editions?

Edition	Availability
1 Proof, Computation and Agency: Logic at the Crossroads 2013, Springer Netherlands in English 9400735812 9789400735811	aaaa Not in Library Libraries near you: WorldCat
2 Proof, Computation and Agency: Logic at the Crossroads 2011, Springer Science+Business Media B.V., Springer electronic resource : in English 9400700792 9789400700796	zzzz Not in Library Libraries near you: WorldCat
3 Proof, Computation and Agency Apr 15, 2011, Springer paperback 9400700814 9789400700819	zzzz Not in Library Libraries near you: WorldCat