Kód: 06715965
Proof Theory
Autor Katalin Bimbo
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms pr ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 386
Nakladatelství: Taylor & Francis Inc, 2014
- Více informací o knize
Mohlo by se vám také líbit
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Proof Theory
Nákupem získáte 388 bodů
Anotace knihy
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
3875 Kč
- Plný název: Proof Theory
- Podnázev: Sequent Calculi and Related Formalisms
- Autor: Katalin Bimbo
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 386
- EAN: 9781466564664
- ISBN: 9781466564664
- ID: 06715965
- Nakladatelství: Taylor & Francis Inc
- Hmotnost: 706 g
- Rozměry: 157 × 235 × 25 mm
- Datum vydání: 20. August 2014
Oblíbené z jiného soudku
-
Teaching Multiplication Using LEGO(R) Bricks
450 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Goedel's Proof
303 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
326 Kč -
Logic: A Very Short Introduction
225 Kč -
Proofs and Refutations
475 Kč -
Conceptual Mathematics
1565 Kč -
Beginner's Guide to Mathematical Logic
507 Kč -
Introduction to Mathematical Logic
489 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
303 Kč -
Categories for Types
2097 Kč -
Limitless Mind
410 Kč -
Elements of Mathematics
547 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
440 Kč -
Set Theory
589 Kč -
Naive Set Theory
228 Kč -
Taking Sudoku Seriously
880 Kč -
Sets for Mathematics
1565 Kč -
Naive Set Theory
239 Kč -
From Frege to Goedel
1334 Kč -
Lattice Theory: Special Topics and Applications
2357 Kč -
Model Theory : An Introduction
1154 Kč -
Schaum's Outline of Boolean Algebra and Switching Circuits
592 Kč -
Model Theory
567 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
First-order Logic
194 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Naive Set Theory
260 Kč -
Category Theory in Context
568 Kč -
Math Mammoth Grade 4-B Worktext
478 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Illustrated Book of Bad Arguments
287 Kč -
Can You Solve My Problems?
248 Kč -
Foundations of Geometry
228 Kč -
Foundation Maths
1691 Kč -
Topoi
489 Kč -
Categories for the Working Mathematician
1291 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Algebraic Logic
274 Kč -
Set Theory and the Continuum Hypothesis
256 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Gödel's Incompleteness Theorems
1269 Kč -
Mathematical Logic
1614 Kč -
Interactive Theorem Proving and Program Development
1958 Kč -
Lattice Theory: Foundation
2040 Kč -
Handbook of Epistemic Logic
682 Kč -
Introduction to Modern Set Theory
262 Kč -
Axiomatic Set Theory
359 Kč
Osobní odběr Praha, Brno a 46566 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)