Predložene teme unutar tvog pretraživanja.
Prikaz rezultata 1 – 13 od 13 za pretraživanje '', vrijeme pretraživanja: 0,01s Detaljiziraj rezultate
  1. 1
    Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /
    Izvještaj sastanka Knjiga
    Izdano 1992
    Spremi u popis
    Spremljeno u:
  2. 2
    Beweistheorie.
    Knjiga
    od Schutte, K. (Kurt)
    Izdano 1960
    Spremi u popis
    Spremljeno u:
  3. 3
    Proof theory /
    Knjiga
    od Takeuti, Gaisi, 1926-
    Izdano 1975
    Spremi u popis
    Spremljeno u:
  4. 4
    Proof theory /
    Knjiga
    od Schütte, K. (Kurt)
    Izdano 1977
    Spremi u popis
    Spremljeno u:
  5. 5
    Proof theory : an introduction /
    Knjiga
    od Pohlers, Wolfram
    Izdano 1989
    Spremi u popis
    Spremljeno u:
  6. 6
    The unprovability of consistency : an essay in modal logic /
    Knjiga
    od Boolos, George
    Izdano 1979
    Spremi u popis
    Spremljeno u:
  7. 7
    On the shape of mathematical arguments /
    Knjiga
    Spremi u popis
    Spremljeno u:
  8. 8
    Recursive program schemes : semantics and proof theory /
    Knjiga
    od Roever, W.-P. de
    Izdano 1976
    Spremi u popis
    Spremljeno u:
  9. 9
    Absoluteness of intuitionistic logic /
    Knjiga
    Spremi u popis
    Spremljeno u:
  10. 10
    Proof theory of modal logic /
    Knjiga
    Izdano 1996
    Spremi u popis
    Spremljeno u:
  11. 11
    Analysis : with an introduction to proof /
    Knjiga
    od Lay, Steven R., 1944-
    Izdano 1990
    Spremi u popis
    Spremljeno u:
  12. 12
    Axiomatising the logic of computer programming /
    Knjiga
    od Goldblatt, Robert
    Izdano 1982
    Spremi u popis
    Spremljeno u:
  13. 13
    Combinators, -terms and proof theory.
    Disertacija Knjiga
    od Stenlund, Soren
    Izdano 1972
    Spremi u popis
    Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak – Pošalji ovo pretraživanje e-poštom – Spremi pretraživanje