Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical logic 8 Treffer
- set theory 8 Treffer
- constructive set theory 6 Treffer
- axioms 5 Treffer
- constructive mathematics 5 Treffer
-
15 weitere Werte:
- constructivism 4 Treffer
- cst 4 Treffer
- brouwerian algebras 3 Treffer
- distributive lattices 3 Treffer
- fullness 3 Treffer
- intuitionistic mathematics 3 Treffer
- mathematical induction 3 Treffer
- mathematical models 3 Treffer
- mathematics 3 Treffer
- proof-theoretic strength 3 Treffer
- universal algebra 3 Treffer
- bar induction 2 Treffer
- dependent choices 2 Treffer
- existence theorems 2 Treffer
- set-theory 1 Treffer
Verlag
Sprache
3 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
In: Mathematical Logic Quarterly, Jg. 54 (2008), Heft 1, S. 5-11Online academicJournalZugriff:
-
In: Mathematical Logic Quarterly, Jg. 52 (2006-05-01), Heft 3, S. 253-258Online academicJournalZugriff: