On normalization of proofs in set theory
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | swe |
| Veröffentlicht: |
Stockholm
1983
|
| Schriftenreihe: | Filosofiska Institutionen <Stockholm>: A preprint from University of Stockholm, Department of Philosophy
1 |
| Schlagworte: |
Mathematik
> Theorie
> Satz
> Mengenlehre
> Beweis
> Normung
> Normalisierung
> Deduktion
> Hochschulschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!