Free Download Proof, computation and agency: Logic at the crossr… By van Benthem J., Gupta A., Parikh R. (eds.) Publisher Springer 2011 ISBN 978-94-007-0079-6,978-94-007-0080-2,978-94-007-0920-1 Series Synthese Library 352 Pages 396/0
Code: 1415658
Title: Proof, computation and agency: Logic at the crossroads
Author: van Benthem J., Gupta A., Parikh R. (eds.)
Edition:
Publisher: Springer
Year: 2011
Volume:
Series: Synthese Library 352,
City:
Pages(biblio/tech): 396/0
Languages: English
Categories: Uncategories
ISBN: 978-94-007-0079-6,978-94-007-0080-2,978-94-007-0920-1
ISSN:
DOI:
Google Id: Download eBook Proof, computation and agency: Logic at the crossroads
ASIN:
dpi: 0
Size:
Format: pdf
UDC/LBC/DDC/LCC: ///
Library,issue: kolxoz,76
OL ID:
Scanned,OCR: ,1
MD5: 497caeeb58a0ba4310e5fcf5e19e241b
State:
One-file Torrent: 76/M_Mathematics/MA_Algebra/MAml_Mathematical logic/van Benthem J., Gupta A., Parikh R. (eds.) Proof, computation and agency.. Logic at the crossroads (SL352, Springer, 2011)(ISBN 9789400700796)(O)(396s)_MAml_.pdf
time add/modiffied: 2015-12-12 14:00:00/2016-03-20 07:50:50
Cover: Show Cover
