Proof, logic and formalization. (2005)

Record Type:: Book
Title:: Proof, logic and formalization. (2005)
Main Title:: Proof, logic and formalization
Further Information:: Note: Edited by Michael Detlefsen.
Editors:: Detlefsen, Michael
Publisher Details:: Place of publication not identified : Routledge
Publication Date:: 2005
Extent:: 1 online resource (256 pages)
Subjects:: 511.36
Proof theory
Languages:: English
ISBNs:: 9781134975273
1134975279
Access Rights:: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD.DS.20490
Ingest File:: 02_043.xml