 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 8 von 8 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) kategorientheorie eingrenzen (Basisklassifikation (XBKL)) 31.10 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Self-similarity in the foundations Gorbow, Paul K.. - Gothenborg : University of Gothenburg, Acta Universitatis Gothoburgensis, [2018] |
|
| |||
 |
2. |
Categorical logic and type theory Jacobs, Bart *1963-*. - 1. ed. - Amsterdam [u.a.] : Elsevier, c1999 
|
|
| |||
|
3. |
Sets for mathematics Lawvere, Francis W. *1937-2023*. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2003 |
|
| |||
|
4. |
Uncountably categorical theories Zilber, Boris. - Providence, RI : American Mathematical Soc., 1993 |
|
| |||
|
5. |
Locally presentable and accessible categories Adámek, Jiří. - Cambridge [u.a.] : Cambridge Univ. Press, 1994 |
|
| |||
|
6. |
Sets, logic and categories Cameron, Peter J. *1947-*. - London [u.a.] : Springer, 1998 |
|
| |||
|
7. |
Categorical combinators, sequential algorithms, and functional programming Curien, Pierre-Louis. - 2. ed. - Boston : Birkhäuser, 1993 |
|
| |||
|
8. |
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 Lawvere, Francis William. - Berlin [u.a.] : Springer, 1972 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 8 von 8 |
|
|
|
1 - 8 von 8 |
|
|||||||||||||||||||||||||