Kód: 04762601
Lectures on Linear Logic
Autor A. S. Troelstra
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 multip ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 215
Nakladateľ: Centre for the Study of Language & Information, 1992
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
Dynamic Karate
21.97 € -26 % -
Longevity...Simplified
21.77 € -24 % -
Scooter Forever (Limited Deluxe Box)
29.46 € -
Brilliant Green
25.31 € -5 % -
Pump Handbook
183.01 € -5 % -
Indigenous Knowledge Systems and Youth Entrepreneurship
108.57 € -
History of the Zulu War
20.55 € -14 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Informovať o naskladnení knihy
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Viac informácií o knihe Lectures on Linear Logic
Nákupom získate 71 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
29.36 €
- Celý názov: Lectures on Linear Logic
- Autor: A. S. Troelstra
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 215
- EAN: 9780937073773
- ISBN: 0937073776
- ID: 04762601
- Nakladateľ: Centre for the Study of Language & Information
- Hmotnosť: 53 g
- Rozmery: 228 × 152 × 20 mm
- Dátum vydania: 30. May 1992
Obľúbené z iného súdka
-
Introduction to Logic and to the Methodology of Deductive Sciences
12.04 € -
Naive Set Theory
10.32 € -
Proofs and Refutations
21.06 € -24 % -
Goedel's Proof
13.46 € -24 % -
Logic: A Very Short Introduction
10.12 € -24 % -
To Mock a Mockingbird: and Other Logic Puzzles
14.47 € -24 % -
Conceptual Mathematics
68.15 € -
Introduction to Mathematical Logic
21.66 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.85 € -
Categories for Types
91.35 € -
Limitless Mind
16.90 € -25 % -
Elements of Mathematics
23.79 € -2 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
9.31 € -24 % -
Set Theory
25.82 € -9 % -
Naive Set Theory
9.81 € -
Taking Sudoku Seriously
35.03 € -
Sets for Mathematics
68.15 € -
Lattice Theory: Foundation
80.31 € -
From Frege to Goedel
60.46 € -
Lattice Theory: Special Topics and Applications
103.10 € -7 % -
Computability and Logic
41.01 € -1 % -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.50 € -17 % -
Model Theory : An Introduction
50.53 € -9 % -
Model Theory
25.11 € -25 % -
Foundations of Mathematics and Other Logical Essays
17.51 € -
First-order Logic
8.60 € -24 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.31 € -
Naive Set Theory
11.84 € -25 % -
Category Theory in Context
25.11 € -25 % -
Math Mammoth Grade 4-B Worktext
21.16 € -25 % -
Lambda-Calculus and Combinators
91.35 € -
Illustrated Book of Bad Arguments
12.75 € -24 % -
Can You Solve My Problems?
11.84 € -25 % -
Beginner's Guide to Mathematical Logic
18.22 € -25 % -
Foundations of Geometry
9.81 € -
Foundation Maths
71.60 € -
Topoi
21.56 € -25 % -
Categories for the Working Mathematician
56.61 € -9 % -
Logician and the Engineer
24.10 € -5 % -
Undecidable Theories
11.33 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.31 € -
Haskell Road to Logic, Maths and Programming
25.21 € -10 % -
Set Theory and the Continuum Hypothesis
11.33 € -24 % -
Gödel's Incompleteness Theorems
55.59 € -9 % -
Mathematical Logic
70.69 € -9 % -
Interactive Theorem Proving and Program Development
85.78 € -9 % -
Algebraic Logic
11.33 € -15 % -
Handbook of Epistemic Logic
29.87 € -10 % -
Introduction to Modern Set Theory
11.33 €
Osobný odber Bratislava a 12792 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)