Applicable Mathematics in a Minimal Computational Theory of Sets
In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored. In this work we first improve that framework by enriching it...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Logical Methods in Computer Science e.V.
2018-10-01
|
| Σειρά: | Logical Methods in Computer Science |
| Θέματα: | |
| Διαθέσιμο Online: | https://lmcs.episciences.org/4190/pdf |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|