Advances in Linear Logic Image close
Advances in Linear Logic
Advances in Linear Logic
Show Hide Adult Content
Advances in Linear Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Advances in Linear Logic

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$198.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $49.50 with Afterpay Learn more

6 weekly interest-free payments of $33.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more London Mathematical Society Lecture Note Series,

See all products in this series

Forcing with Random Variables and Proof Complexity by Jan Krajicek
$166.00
Forcing with Random Variables and Proof Complexity
by Jan Krajicek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Locally Presentable and Accessible Categories by J. Rosicky
$289.00
Locally Presentable and Accessible Categories
by J. Rosicky ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Stable Groups by F. Wagner
$196.00
Stable Groups
by F. Wagner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Independence-Friendly Logic by Allen L. Mann
$216.00
Independence-Friendly Logic
by Allen L. Mann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Synthetic Differential Topology by Marta Bunge
$211.00
Synthetic Differential Topology
by Marta Bunge ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Appalachian Set Theory
$211.00
Appalachian Set Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computability, Enumerability, Unsolvability
$163.00
Computability, Enumerability, Unsolvability
Paperback / softback
Available - Usually ships in 3-4 weeks
O-Minimality and Diophantine Geometry
$192.00
O-Minimality and Diophantine Geometry
Paperback / softback
Available - Usually ships in 3-4 weeks
The Logical Approach to Automatic Sequences by Jeffrey Shallit
$229.00
The Logical Approach to Automatic Sequences
by Jeffrey Shallit ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Boolean Function Complexity
$115.00
Boolean Function Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
$228.00
Motivic Integration and its Interactions with Model Theory and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Models and Computability
$184.00
Models and Computability
Paperback / softback
Available - Usually ships in 3-4 weeks
Sets and Proofs
$185.00
Sets and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Tame Topology and O-minimal Structures by L. P. D. van den Dries
$202.00
Tame Topology and O-minimal Structures
by L. P. D. van den Dries ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Model Theory of Groups and Automorphism Groups
$161.00
Model Theory of Groups and Automorphism Groups
Paperback / softback
Available - Usually ships in 3-4 weeks
Oligomorphic Permutation Groups by Peter J. Cameron
$137.00
Oligomorphic Permutation Groups
by Peter J. Cameron ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
Release date NZ
June 22nd, 1995
Audience
  • Professional & Vocational
Contributors
  • Edited by Jean-Yves Girard
  • Edited by Laurent Regnier
  • Edited by Yves Lafont
Pages
400
Dimensions
153x226x23
ISBN-13
9780521559614
Product ID
2364605

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic