topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Proof Analysis: A Contribution to Hilbert's Last Problem
ISBN: 9781107417236 / Angielski / Miękka / 2014 / 278 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial...
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proo...
|
cena:
241,05 |
 |
Proof Analysis: A Contribution to Hilbert's Last Problem
ISBN: 9781107008953 / Angielski / Twarda / 2011 / 265 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
|
cena:
439,79 |
 |
Structural Proof Theory
ISBN: 9780521068420 / Angielski / Miękka / 2008 / 276 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a...
|
cena:
291,08 |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro
ISBN: 9783030860585 / Angielski / Miękka / 2021 / 488 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 |
 |
Structural Proof Theory
ISBN: 9780521793070 / Angielski / Twarda / 2001 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a...
|
cena:
439,79 |
 |
Investigations into the Predicate Calculus
ISBN: 9781848904071 / Angielski / Miękka / 2022 / 140 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
72,78 |
 |
Mathesis Universalis, Computability and Proof
ISBN: 9783030204464 / Angielski / Twarda / 2019 / 374 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 |
 |
Mathesis Universalis, Computability and Proof
ISBN: 9783030204495 / Angielski / Miękka / 2020 / 374 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 |
 |
Advances in Modal Logic, Volume 13
ISBN: 9781848903418 / Angielski / Miękka / 2020 / 626 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
111,30 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
