Schuster, Peter Michael
Schuster, Peter Michael
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.001 secondi).
Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction
2016-01-01 Schuster, Peter Michael; Probst, Dieter
Finite methods in mathematical practice.
2014-01-01 Schuster, Peter Michael; Crosilla, Laura
Lindenbaum’s Lemma via Open Induction
2016-01-01 Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter Michael
Preface
2023-01-01 Benini, Marco; Beyersdorff, Olaf; Rathjen, Michael; Schuster, Peter
Preface
2018-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur
Preface
2021-01-01 Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut
Syntax for Semantics: Krull’s Maximal Ideal Theorem
2021-01-01 Schuster, Peter; Wessel, Daniel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Concepts of Proof in Mathematics, Philosophy, and Computer Science Introduction | 1-gen-2016 | Schuster, Peter Michael; Probst, Dieter | |
| Finite methods in mathematical practice. | 1-gen-2014 | Schuster, Peter Michael; Crosilla, Laura | |
| Lindenbaum’s Lemma via Open Induction | 1-gen-2016 | Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter Michael | |
| Preface | 1-gen-2023 | Benini, Marco; Beyersdorff, Olaf; Rathjen, Michael; Schuster, Peter | |
| Preface | 1-gen-2018 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut Artur | |
| Preface | 1-gen-2021 | Mainzer, Klaus; Schuster, Peter; Schwichtenberg, Helmut | |
| Syntax for Semantics: Krull’s Maximal Ideal Theorem | 1-gen-2021 | Schuster, Peter; Wessel, Daniel |