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 on the Psychology of Women, Fifth Edition
60%
$72.80
Lectures on the Psychology of Women, Fifth Edition
Lectures on the Philosophy of Religion: Volume III, The Consummate Religion
58%
$56.00
Lectures on the Philosophy of Religion: Volume III, The Consummate Religion
Lectures in Abstract Algebra Linear Algebra, Vol. 2
56%
$27.00
Lectures in Abstract Algebra Linear Algebra, Vol. 2
Lectures on the I Ching: Constancy and Change (Bollingen Series)
53%
$27.53
Lectures on the I Ching: Constancy and Change (Bollingen Series)
Advances in Linear Logic
51%
$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)
50%
$52.50
On the Government of the Living: Lectures at the Coll�ge de France, 1979-1980 (Hardback or Cased Book)
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
30%
$62.64
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Regression Modeling Strategies: With Applications to Linear Models, Logistic Regression, and Survival Analysis (Springer Series in Statistics)
28%
$11.87
Regression Modeling Strategies: With Applications to Linear Models, Logistic Regression, and Survival Analysis (Springer Series in Statistics)
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
27%
$22.45
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
Agency and Deontic Logic
26%
$39.51
Agency and Deontic Logic
Women and Human Development: The Capabilities Approach (The Seeley Lectures, Series Number 3)
24%
$86.07
Women and Human Development: The Capabilities Approach (The Seeley Lectures, Series Number 3)
Linear Algebra and Its Applications
23%
$25.61
Linear Algebra and Its Applications
Forms of Capital: General Sociology, Volume 3: Lectures at the Collà ge de France 1983 - 84 (General Sociology, 3)
21%
$41.43
Forms of Capital: General Sociology, Volume 3: Lectures at the Collà ge de France 1983 - 84 (General Sociology, 3)
Marvelous Possessions: The Wonder of the New World (Carpenter Lectures) [first edition]
20%
$40.00
Marvelous Possessions: The Wonder of the New World (Carpenter Lectures) [first edition]
Seeing the Light : The Social Logic of Personal Discovery
18%
$16.42
Seeing the Light : The Social Logic of Personal Discovery
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
17%
$15.00
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Philip Guston: Collected Writings, Lectures, and Conversations (Documents of Twentieth-Century Art)
15%
$18.55
Philip Guston: Collected Writings, Lectures, and Conversations (Documents of Twentieth-Century Art)
The Christian Mystery: Early Lectures
13%
$18.99
The Christian Mystery: Early Lectures
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
10%
$35.89
A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
Coding the Matrix: Linear Algebra through Computer Science Applications
7%
$10.05
Coding the Matrix: Linear Algebra through Computer Science Applications
Why Civil Resistance Works : The Strategic Logic of Nonviolent Conflict
5%
$25.03
Why Civil Resistance Works : The Strategic Logic of Nonviolent Conflict
The Minto Pyramid Principle: Logic in Writing, Thinking, & Problem Solving
2%
$35.84
The Minto Pyramid Principle: Logic in Writing, Thinking, & Problem Solving
Introduction to Mathematical Logic
1%
$49.61
Introduction to Mathematical Logic
Phenomenological Psychology: Lectures, Summer Semester, 1925
1%
$50.00
Phenomenological Psychology: Lectures, Summer Semester, 1925
An Introduction to Non-Classical Logic
-48%
1%
$21.01
An Introduction to Non-Classical Logic
Linear Algebra with Applications: Pearson New International
1%
$84.44
Linear Algebra with Applications: Pearson New International
The Faces of Injustice (The Storrs Lectures Series)
1%
$36.70
The Faces of Injustice (The Storrs Lectures Series)
The Logic of Liberty: Reflections and Rejoinders
1%
$11.00
The Logic of Liberty: Reflections and Rejoinders
The Theory of Gambling and Statistical Logic, Revised Edition
1%
$83.00
The Theory of Gambling and Statistical Logic, Revised Edition
Programming Logic And Design
1%
$32.23
Programming Logic And Design
Плашка Bucovice Tools 248100, 248100
+22%
1%
~ $147.00
Плашка Bucovice Tools 248100, 248100
OXILAM 2X 6000K H7 светодиодный фара супер яркий безвентиляторный DC12V беспроводной разъем & Play H7 тонкий CSP светодиодный Автомобильные фары
1%
$13.74
OXILAM 2X 6000K H7 светодиодный фара супер яркий безвентиляторный DC12V беспроводной разъем & Play H7 тонкий CSP светодиодный Автомобильные фары
Новые кнопки подсветки Портативный 4K H.265 IP аналоговый CVI TVI AHD 5-в-1 HD Wi-Fi cctv OTDR волоконные камеры тестер VGA и HDMI вход
1%
$489.99
Новые кнопки подсветки Портативный 4K H.265 IP аналоговый CVI TVI AHD 5-в-1 HD Wi-Fi cctv OTDR волоконные камеры тестер VGA и HDMI вход
Роскошный обруч для волос в стиле барокко с искусственным жемчугом, роскошный обруч для волос с кристаллами, розовый, изысканный обруч для волос с подкладкой, 2022
1%
$18.86
Роскошный обруч для волос в стиле барокко с искусственным жемчугом, роскошный обруч для волос с кристаллами, розовый, изысканный обруч для волос с подкладкой, 2022
8GB for MAN Truck&Bus Sat Nav Maps EU Turkey UK Ukraine Russia TF Card 2022 Fast Delivery
-6%
1%
$19.91
8GB for MAN Truck&Bus Sat Nav Maps EU Turkey UK Ukraine Russia TF Card 2022 Fast Delivery
Natural Hetian Jade Round Earrings Silver Gilded South Red Agate Earrings Women's White Jade Fine Gold Earrings
1%
$6.59
Natural Hetian Jade Round Earrings Silver Gilded South Red Agate Earrings Women's White Jade Fine Gold Earrings