|
 |
|
|
|
1 - 10 von 56
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 320?
|
|
|
|
|
 |
1. |
An introduction to mathematical proofs
/ Loehr, Nicholas A.. - Boca Raton : CRC Press, Taylor & Francis Group, 2022
|
|
|
|
2. |
Proof theory : sequent calculi and related formalisms
/ Bimbó, Katalin *1963-*. - Boca Raton, Fla. [u.a.] : CRC Press, Taylor & Francis, 2015
|
|
|
|
3. |
Compact companion / 3, Proof theory
/ Jervell, Herman Ruge *1945-*. - 2012
|
|
|
|
4. |
Proofs and computations
/ Schwichtenberg, Helmut *1942-*. - 1. publ. - Cambridge, UK [u.a.] : Cambridge Univ. Press [u.a.], 2012
|
|
|
|
5. |
Gödel's way : exploits into an undecidable world
/ Chaitin, Gregory J. *1947-*. - Boca Raton, FL : CRC Press, Taylor & Francis Group, c 2012
|
|
|
|
6. |
Generic inference : a unifying theory for automated reasoning
/ Pouly, Marc. - Hoboken, NJ : Wiley, 2011
|
|
|
|
7. |
Handbook of mathematical induction : theory and applications
/ Gunderson, David S.. - Boca Raton, Fla. [u.a.] : CRC Press, Chapman & Hall, 2011
|
|
|
|
8. |
Applied proof theory : proof interpretations and their use in mathematics
/ Kohlenbach, Ulrich Wilhelm. - Berlin : Springer, 2008
|
|
|
|
9. |
Techniques of constructive analysis
/ Bridges, Douglas S. *1945-*. - New York, NY : Springer, c 2006
|
|
|
|
10. |
Essays in constructive mathematics
/ Edwards, Harold M. *1936-2020*. - New York, NY : Springer, c2005
|
|
|
|
|
|
|
1 - 10 von 56
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| \mat 320? |
|
[SYS] Systematiken |
|
333 |
|
|
|
|
|
|
|
1 - 10 von 56
|
|
|
