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

دانلود فایل ها