Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 13 Treffer
- realizability 9 Treffer
- constructive set theory 7 Treffer
- axioms 5 Treffer
- 03f50 3 Treffer
-
21 weitere Werte:
- algorithms 3 Treffer
- arithmetic 3 Treffer
- constructive 3 Treffer
- fuzzy sets 3 Treffer
- mathematical logic 3 Treffer
- numerical analysis 3 Treffer
- theory 3 Treffer
- comparative studies 2 Treffer
- dependent type theory 2 Treffer
- dependent types 2 Treffer
- extensionality 2 Treffer
- fractional calculus 2 Treffer
- homotopy theory 2 Treffer
- homotopy type theory 2 Treffer
- intuitionistic 2 Treffer
- mathematical models 2 Treffer
- proof of concept 2 Treffer
- topological models 2 Treffer
- topology 2 Treffer
- first-order logic 1 Treffer
- intuitionistic set theory 1 Treffer
Publikation
Sprache
7 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Symbolic Logic, Jg. 88 (2023-09-01), Heft 3, S. 1138-1169academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021), Heft 1, S. 112-143Online academicJournalZugriff:
-
In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-10-01), Heft 7, S. 1466-1483Online academicJournalZugriff:
-
In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254Online academicJournalZugriff:
-
2020Online academicJournalZugriff: