An edition of Proof, Computation and Agency (2011)

Proof, Computation and Agency

Logic at the Crossroads

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Proof, Computation and Agency by Johan van Benthem
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
August 21, 2024 | History
Edit
An edition of Proof, Computation and Agency (2011)

Proof, Computation and Agency

Logic at the Crossroads

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer Science+Business Media B.V., Springer
Language
English
Pages
396

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Philosophy (General), Logic, Symbolic and mathematical Logic, Computer science, Modern Philosophy, Social interaction, Philosophy, Data processing

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Proof, Computation and Agency
Proof, Computation and Agency: Logic at the Crossroads
2013, Springer Netherlands
in English
Libraries near you: WorldCat
Cover of: Proof, Computation and Agency
Proof, Computation and Agency: Logic at the Crossroads
2011, Springer Science+Business Media B.V., Springer
electronic resource : in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Proof, Computation and Agency
Proof, Computation and Agency
Apr 15, 2011, Springer
paperback
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Published in
Dordrecht
Series
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science -- 352

Classifications

Library of Congress
BC1-199

The Physical Object

Format
[electronic resource] :
Number of pages
396

ID Numbers

Open Library
OL25540717M
Internet Archive
proofcomputation00bent
ISBN 13
9789400700796, 9789400700802
OCLC/WorldCat
724415195

Source records

Internet Archive item record
Better World Books record
Better World Books record
amazon.com record
harvard_bibliographic_metadata record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 21, 2024 Edited by MARC Bot import existing book
February 26, 2022 Edited by ImportBot import existing book
July 28, 2014 Created by ImportBot import new book