Kód: 02020080
Proof Theory
Autor Peter AczelHarold SimmonsStanley S. Wainer
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 320
Nakladatelství: Cambridge University Press, 2008
- Více informací o knize
Mohlo by se vám také líbit
-
The Illustrated Gormenghast Trilogy
801 Kč -
Greatest Showman
432 Kč -
Form of Perfect Living and Other Prose Treatises
468 Kč -
Español entre amigos 4, nivel A2
736 Kč -
Introduction to Proof Theory
816 Kč -
Le grand combat du XV de France
333 Kč -
The Franklin-Nashville Campaign: The History of the Civil War Campaign that Destroyed the Confederate Army of Tennessee
326 Kč -
Proof Theory
2646 Kč -
Testbank for Understanding Emotions
2378 Kč -
2103
258 Kč -
Teuflische Statements
269 Kč -
Sandokan e le Tigri di Mompracem di Emilio Salgari
235 Kč -
Queen Elizabeth
588 Kč -
Toys Through the Ages: Dan Foley's Story of Playthings Filled with History, Folklore, Romance and Nostalgia
511 Kč
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 125 bodů
Anotace knihy
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
1247 Kč
- Plný název: Proof Theory
- Podnázev: A selection of papers from the Leeds Proof Theory Programme 1990
- Autor: Peter AczelHarold SimmonsStanley S. Wainer
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 320
- EAN: 9780521054164
- ISBN: 0521054168
- ID: 02020080
- Nakladatelství: Cambridge University Press
- Hmotnost: 484 g
- Rozměry: 228 × 151 × 18 mm
- Datum vydání: 21. January 2008
Oblíbené z jiného soudku
-
Goedel's Proof
303 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
326 Kč -
Logic: A Very Short Introduction
225 Kč -
Proofs and Refutations
475 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č -
Teaching Multiplication Using LEGO(R) Bricks
450 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
224 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č -
Lattice Theory: Special Topics and Applications
2646 Kč -
Schaum's Outline of Boolean Algebra and Switching Circuits
592 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
Model Theory
567 Kč -
First-order Logic
194 Kč -
Conceptual Mathematics
1565 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
1551 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č -
Mathematical Logic
1625 Kč -
Gödel's Incompleteness Theorems
1399 Kč -
From Frege to Goedel
1334 Kč -
Interactive Theorem Proving and Program Development
2196 Kč -
Lattice Theory: Foundation
2040 Kč -
Handbook of Epistemic Logic
682 Kč -
Introduction to Modern Set Theory
262 Kč -
Axiomatic Set Theory
359 Kč -
Computability and Logic
991 Kč
Osobní odběr Praha, Brno a 46366 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)