Lectures on Linear Logic

Lectures on Linear Logic
артикул: COM9780937073773USED
$30.50
Доставка из: Канада
   Описание
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.
   График изменения цены & курс обмена валют

Пользователи также просматривали

в этом магазинев других магазинах

Lectures in Abstract Algebra Linear Algebra, Vol. 2
60%
$27.00
Lectures in Abstract Algebra Linear Algebra, Vol. 2
Lectures on the Psychology of Women, Fifth Edition
59%
$72.80
Lectures on the Psychology of Women, Fifth Edition
Advances in Linear Logic
58%
$51.87
Advances in Linear Logic
On the Government of the Living: Lectures at the Coll�ge de France, 1979-1980 (Hardback or Cased Book)
57%
$52.50
On the Government of the Living: Lectures at the Coll�ge de France, 1979-1980 (Hardback or Cased Book)
Lectures on the I Ching: Constancy and Change (Bollingen Series)
56%
$27.53
Lectures on the I Ching: Constancy and Change (Bollingen Series)
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
Programming Logic And Design
30%
$32.23
Programming Logic And Design
Seeing the Light : The Social Logic of Personal Discovery
27%
$16.42
Seeing the Light : The Social Logic of Personal Discovery
Linear Algebra with Applications: Pearson New International
26%
$84.44
Linear Algebra with Applications: Pearson New International
Introduction to Mathematical Logic
23%
$49.61
Introduction to Mathematical Logic
Linear Algebra and Its Applications
22%
$25.61
Linear Algebra and Its Applications
Phenomenological Psychology: Lectures, Summer Semester, 1925
19%
$50.00
Phenomenological Psychology: Lectures, Summer Semester, 1925
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
16%
$35.89
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
15%
$22.45
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
The Logic of Liberty: Reflections and Rejoinders
13%
$11.00
The Logic of Liberty: Reflections and Rejoinders
The Minto Pyramid Principle: Logic in Writing, Thinking, & Problem Solving
10%
$35.84
The Minto Pyramid Principle: Logic in Writing, Thinking, & Problem Solving
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
9%
$62.64
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Philip Guston: Collected Writings, Lectures, and Conversations (Documents of Twentieth-Century Art)
7%
$18.55
Philip Guston: Collected Writings, Lectures, and Conversations (Documents of Twentieth-Century Art)
Coding the Matrix: Linear Algebra through Computer Science Applications
6%
$10.05
Coding the Matrix: Linear Algebra through Computer Science Applications
The Christian Mystery: Early Lectures
4%
$18.99
The Christian Mystery: Early Lectures
Agency and Deontic Logic
1%
$39.51
Agency and Deontic Logic
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)
Women and Human Development: The Capabilities Approach (The Seeley Lectures, Series Number 3)
1%
$86.07
Women and Human Development: The Capabilities Approach (The Seeley Lectures, Series Number 3)
Why Civil Resistance Works : The Strategic Logic of Nonviolent Conflict
1%
$25.03
Why Civil Resistance Works : The Strategic Logic of Nonviolent Conflict
Regression Modeling Strategies: With Applications to Linear Models, Logistic Regression, and Survival Analysis (Springer Series in Statistics)
1%
$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)
1%
$36.70
The Faces of Injustice (The Storrs Lectures Series)
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]
Forms of Capital: General Sociology, Volume 3: Lectures at the Collà ge de France 1983 - 84 (General Sociology, 3)
1%
$41.43
Forms of Capital: General Sociology, Volume 3: Lectures at the Collà ge de France 1983 - 84 (General Sociology, 3)
An Introduction to Non-Classical Logic
-45%
1%
$21.01
An Introduction to Non-Classical Logic
The Theory of Gambling and Statistical Logic, Revised Edition
1%
$83.00
The Theory of Gambling and Statistical Logic, Revised Edition
Dessertbox ROYALCHEESE_Premium_Dapurartis
-4%
1%
$2.98
Dessertbox ROYALCHEESE_Premium_Dapurartis
Постельное белье для коляски ПЛЮС Розовый ТМ Добрый Сон (4-02-1/2)
1%
~ $16.50
Постельное белье для коляски ПЛЮС Розовый ТМ Добрый Сон (4-02-1/2)
Футболка Ну, Погоди!, Фиолетовый
+14%
1%
~ $54.50
Футболка Ну, Погоди!, Фиолетовый
Брезентовое одеяло Bailey Smith, плюшевая ткань, одеяло из искусственных волос
1%
$13.66
Брезентовое одеяло Bailey Smith, плюшевая ткань, одеяло из искусственных волос
Instrument housing speedometer cover gauges platel meter odometer tachometer shell For Honda CB400 1992 1993 1994 92-94 Moto
1%
$2.98
Instrument housing speedometer cover gauges platel meter odometer tachometer shell For Honda CB400 1992 1993 1994 92-94 Moto
4 Pcs Football Training Circle Sports Accessory Exercising Tools Portable Equipment Pp Speeds Rings
1%
$15.96
4 Pcs Football Training Circle Sports Accessory Exercising Tools Portable Equipment Pp Speeds Rings