SCHUSTER, PETER MICHAEL
SCHUSTER, PETER MICHAEL
Lettere e Filosofia
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.005 secondi).
A generalized cut characterization of the fullness axiom in CZF
2013 Crosilla L.; Palmgren E.; Schuster P.
Binary refinement implies discrete exponentiation
2006 Aczel P.; Crosilla L.; Ishihara H.; Palmgren E.; Schuster P.
Finite Methods in Mathematical Practice
2014 Laura Crosilla; Peter Schuster
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
2005 Crosilla, L.; Peter Schuster
Introduction to the book
2005 Crosilla L.; Schuster P.
On constructing completions
2005 Crosilla L.; Ishihara H.; Schuster P.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A generalized cut characterization of the fullness axiom in CZF | 2013 | Crosilla L.; Palmgren E.; Schuster P. | |
| Binary refinement implies discrete exponentiation | 2006 | Aczel P.; Crosilla L.; Ishihara H.; Palmgren E.; Schuster P. | |
| Finite Methods in Mathematical Practice | 2014 | Laura Crosilla; Peter Schuster | |
| From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics | 2005 | Crosilla, L.; Peter Schuster | |
| Introduction to the book | 2005 | Crosilla L.; Schuster P. | |
| On constructing completions | 2005 | Crosilla L.; Ishihara H.; Schuster P. |