Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Bounded arithmetic, propositional logic, and complexity theory
Autor Krajíček, Jan, 1960- Vydáno: 1995
Kniha
Proof theory : sequent calculi and related formalisms
Autor Bimbó, Katalin, 1963- Vydáno: 2015
Kniha
A transition to abstract mathematics : mathematical thinking and writing
Autor Maddox, Randall B. Vydáno: 2009
Kniha
On the shape of mathematical arguments
Autor Gasteren, Antonetta Johanna Maria, van, 1952-2002 Vydáno: 1990
Kniha
The nuts and bolts of proofs : an introduction to mathematical proofs
Autor Cupillari, Antonella, 1955- Vydáno: 2013
Kniha
A transition to proof : an introduction to advanced mathematics
Autor Nicholson, Neil R. Vydáno: 2019
Kniha
Lectures on the Curry-Howard isomorphism
Autor Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968- Vydáno: 2006
Kniha
Proofs that really count : the art of combinatorial proof
Autor Benjamin, Arthur, 1961- Vydáno: 2003
Kniha