Free Download Reductive logic and proof-search: Proof theory, se… By David J. Pym, Eike Ritter Publisher Clarendon Press 2004 ISBN 0-19-852633-4,9780198526339 Series Oxford Logic Guides 045 Edition 1 Pages 227/0
Code: 1415181
Title: Reductive logic and proof-search: Proof theory, semantics, and control
Author: David J. Pym, Eike Ritter
Edition: 1
Publisher: Clarendon Press
Year: 2004
Volume:
Series: Oxford Logic Guides 045,
City:
Pages(biblio/tech): 227/0
Languages: English
Categories: Uncategories
ISBN: 0-19-852633-4,9780198526339
ISSN:
DOI:
Google Id: Download eBook Reductive logic and proof-search: Proof theory, semantics, and control
ASIN:
dpi: 0
Size:
Format: pdf
UDC/LBC/DDC/LCC: ///
Library,issue: kolxoz,75
OL ID:
Scanned,OCR: ,1
MD5: ee9aad295c80151b70c6588b46144740
State:
One-file Torrent: 75/M_Mathematics/MA_Algebra/MAml_Mathematical logic/Pym D.J., Ritter E. Reductive logic and proof-search.. Proof theory, semantics, and control (OLG045, OUP, 2004)(ISBN 0198526334)(O)(227s)_MAml_.pdf
time add/modiffied: 2015-12-12 14:00:00/2016-03-20 07:50:50
Cover: Show Cover
