Skip to content
Scan a barcode
Scan

All Formats & Editions

1 - 1 of 1 results found
Advances in Linear Logic 0521559618 Book Cover

Advances in Linear Logic

Edition Description

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted...

Edition Details
Format:Paperback
Language:English
ISBN:0521559618
Format: Paperback
Condition:
$
82.00
50 Available
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured