Lectures on Linear Logic

Lectures on Linear Logic
sku: COM9780937073773USED
$30.50
Shipping from: Canada
   Description
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
   Price history chart & currency exchange rate

Customers also viewed

in this storein other stores

Lectures in Abstract Algebra Linear Algebra, Vol. 2
60%
$27.00
Lectures in Abstract Algebra Linear Algebra, Vol. 2
On the Government of the Living: Lectures at the Coll�ge de France, 1979-1980 (Hardback or Cased Book)
58%
$52.50
On the Government of the Living: Lectures at the Coll�ge de France, 1979-1980 (Hardback or Cased Book)
Advances in Linear Logic
55%
$51.87
Advances in Linear Logic
Lectures on the Philosophy of Religion: Volume III, The Consummate Religion
53%
$56.00
Lectures on the Philosophy of Religion: Volume III, The Consummate Religion
Lectures on the Psychology of Women, Fifth Edition
51%
$72.80
Lectures on the Psychology of Women, Fifth Edition
Lectures on the I Ching: Constancy and Change (Bollingen Series)
48%
$27.53
Lectures on the I Ching: Constancy and Change (Bollingen Series)
The Minto Pyramid Principle: Logic in Writing, Thinking, & Problem Solving
28%
$35.84
The Minto Pyramid Principle: Logic in Writing, Thinking, & Problem Solving
Forms of Capital: General Sociology, Volume 3: Lectures at the Collà ge de France 1983 - 84 (General Sociology, 3)
26%
$41.43
Forms of Capital: General Sociology, Volume 3: Lectures at the Collà ge de France 1983 - 84 (General Sociology, 3)
Coding the Matrix: Linear Algebra through Computer Science Applications
25%
$10.05
Coding the Matrix: Linear Algebra through Computer Science Applications
Linear Algebra with Applications: Pearson New International
22%
$84.44
Linear Algebra with Applications: Pearson New International
Why Civil Resistance Works : The Strategic Logic of Nonviolent Conflict
21%
$25.03
Why Civil Resistance Works : The Strategic Logic of Nonviolent Conflict
Programming Logic And Design
19%
$32.23
Programming Logic And Design
Regression Modeling Strategies: With Applications to Linear Models, Logistic Regression, and Survival Analysis (Springer Series in Statistics)
16%
$11.87
Regression Modeling Strategies: With Applications to Linear Models, Logistic Regression, and Survival Analysis (Springer Series in Statistics)
The Faces of Injustice (The Storrs Lectures Series)
13%
$36.70
The Faces of Injustice (The Storrs Lectures Series)
Women and Human Development: The Capabilities Approach (The Seeley Lectures, Series Number 3)
12%
$86.07
Women and Human Development: The Capabilities Approach (The Seeley Lectures, Series Number 3)
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
11%
$22.45
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
The Logic of Liberty: Reflections and Rejoinders
9%
$11.00
The Logic of Liberty: Reflections and Rejoinders
The Christian Mystery: Early Lectures
7%
$18.99
The Christian Mystery: Early Lectures
An Introduction to Non-Classical Logic
-47%
4%
$21.01
An Introduction to Non-Classical Logic
Linear Algebra and Its Applications
2%
$25.61
Linear Algebra and Its Applications
Agency and Deontic Logic
1%
$39.51
Agency and Deontic Logic
Philip Guston: Collected Writings, Lectures, and Conversations (Documents of Twentieth-Century Art)
1%
$18.55
Philip Guston: Collected Writings, Lectures, and Conversations (Documents of Twentieth-Century Art)
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
1%
$15.00
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Seeing the Light : The Social Logic of Personal Discovery
1%
$16.42
Seeing the Light : The Social Logic of Personal Discovery
Phenomenological Psychology: Lectures, Summer Semester, 1925
1%
$50.00
Phenomenological Psychology: Lectures, Summer Semester, 1925
Marvelous Possessions: The Wonder of the New World (Carpenter Lectures) [first edition]
1%
$40.00
Marvelous Possessions: The Wonder of the New World (Carpenter Lectures) [first edition]
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
1%
$62.64
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
The Theory of Gambling and Statistical Logic, Revised Edition
1%
$83.00
The Theory of Gambling and Statistical Logic, Revised Edition
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
1%
$35.89
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
Introduction to Mathematical Logic
1%
$49.61
Introduction to Mathematical Logic
Honda Unicorn BS-VI (Ex-Showroom Price)
1%
$1,333.39
Honda Unicorn BS-VI (Ex-Showroom Price)
For Mavic Pro Battery 27 Minutes Battery life Compatible with Mavic Pro Series Drone Replacement Battery accessories
1%
$60.22
For Mavic Pro Battery 27 Minutes Battery life Compatible with Mavic Pro Series Drone Replacement Battery accessories
Комплект запасных частей для Motorola Moto G4 Play XT1607 XT1609, 100 компл./лот, цвет серый, серебристый
1%
$69.15
Комплект запасных частей для Motorola Moto G4 Play XT1607 XT1609, 100 компл./лот, цвет серый, серебристый
women fashion with button floral print knitted sweater lapel collar long sleeve female pullovers chic 210420, White;black
1%
$18.51
women fashion with button floral print knitted sweater lapel collar long sleeve female pullovers chic 210420, White;black
Водостойкие перманентные Маркеры MarkerBullet, офисные принадлежности, перманентные маркеры с двумя наконечниками
1%
$1.51
Водостойкие перманентные Маркеры MarkerBullet, офисные принадлежности, перманентные маркеры с двумя наконечниками
Карниз для штор, Бронза, Карниз для штор, 240 см
1%
~ $34.20
Карниз для штор, Бронза, Карниз для штор, 240 см