Advances In Linear Logic / Edited By , Yves Lafont , Laurent Regnier

By:

Material type: Text

TextPublication details: Cambridge , 2003Edition: 1st editionDescription: 400ISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Barcode
Reference	Kalaignar Centenary Library Madurai	ENGLISH-REFERENCE BOOKS	மூன்றாம் தளம் / Third floor	511.36 GIR (Browse shelf(Opens below))	Not for loan	340771

Previous								Next
Previous	511.36 CHA Mathematical Proofs: A Transition To Advanced Mathematics /	511.36 COR Applications Of Diophantine Approximation To Integral Points And Transcendence /	511.36 DAL Brouwer'S Cambridge Lectures On Intuitionism /	511.36 GIR Advances In Linear Logic /	511.36 KRA Bounded Arithmetic, Propositional Logic And Complexity Theory /	511.36 KRA Forcing with random variables and proof complexity/	511.36 NEG Proof analysis/	Next

Find us on the map