Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 6 Treffer
- axioms 3 Treffer
- constructive mathematics 3 Treffer
- generalization 3 Treffer
- logic 3 Treffer
-
15 weitere Werte:
- predicate calculus 3 Treffer
- dedekind rings 2 Treffer
- predicative 2 Treffer
- axiom 1 Treffer
- constructive set theory 1 Treffer
- context (language use) 1 Treffer
- decidability 1 Treffer
- dedekind cut 1 Treffer
- dedekind-macneille completion 1 Treffer
- discrete mathematics 1 Treffer
- injective 1 Treffer
- intuitionistic logic 1 Treffer
- mathematics 1 Treffer
- real numbers 1 Treffer
- type theory 1 Treffer
Verlag
Publikation
Sprache
4 Treffer
-
In: Logic Journal of the IGPL, Jg. 21 (2013-02-01), Heft 1, S. 63-76Online academicJournalZugriff:
-
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: