Výsledky vyhledávání

Doporučená témata ve výsledcích tohoto hledání:
  • Zobrazuji výsledky 1 - 14 z 14
Upřesnit hledání
  1. 1
    Obálka

    Proof, logic, and formalization

    Vydáno 1992
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    Logic for concurrency and synchronisation

    Vydáno 2003
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    Lectures on the Curry-Howard isomorphism Autor Sørensen, Morten Heine

    Vydáno 2006
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

    The nuts and bolts of proofs Autor Cupillari, Antonella

    Vydáno 2005
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    Memoirs of a proof theorist Gödel and other logicians / Autor Takeuti, Gaisi, 1926-

    Vydáno 2003
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    Tracking reason proof, consequence, and truth / Autor Azzouni, Jody

    Vydáno 2006
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  7. 7
    Obálka

    Conditional and preferential logics proof methods and theorem proving / Autor Pozzato, Gian Luca

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  8. 8
    Obálka

    Perspectives in logic logical foundations of proof complexity / Autor Cook, Stephen, 1948-

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  9. 9
    Obálka

    2-D quadratic maps and 3-D ODE systems a rigorous approach / Autor Zeraoulia, Elhadj

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  10. 10
    Obálka

    Charming proofs a journey into elegant mathematics / Autor Alsina, Claudi

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  11. 11
    Obálka

    Icons of mathematics an exploration of twenty key images / Autor Alsina, Claudi

    Vydáno 2011
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  12. 12
    Obálka

    Ways of proof theory Autor Schindler, Ralf

    Vydáno 2010
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  13. 13
    Obálka

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures / Autor Fine, Benjamin, 1948-

    Vydáno 2014
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:
  14. 14
    Obálka

    Concepts of proof in mathematics, philosophy, and computer science /

    Vydáno 2016
    An electronic book accessible through the World Wide Web; click to view
    Elektronický zdroj E-kniha

    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: