Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 10 Treffer
- constructive set theory 7 Treffer
- mathematics 6 Treffer
- axioms 5 Treffer
- constructive mathematics 4 Treffer
-
24 weitere Werte:
- 03c90 3 Treffer
- intuitionistic logic 3 Treffer
- intuitionistic mathematics 3 Treffer
- kripke models 3 Treffer
- logic 3 Treffer
- mathematical logic 3 Treffer
- categories (mathematics) 2 Treffer
- dependent choices 2 Treffer
- fractional calculus 2 Treffer
- isomorphisms 2 Treffer
- problem solving 2 Treffer
- proof theory 2 Treffer
- topology 2 Treffer
- type theory 2 Treffer
- algebra 1 Treffer
- categorical logic 1 Treffer
- formal topology 1 Treffer
- generic extensions 1 Treffer
- mathematical analysis 1 Treffer
- mathematical mappings 1 Treffer
- number theory 1 Treffer
- realizability 1 Treffer
- semantics 1 Treffer
- sheaf theory 1 Treffer
Verlag
Publikation
Sprache
6 Treffer
-
In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 10 (2014-07-01), Heft 3, S. 1-14Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 163 (2012-02-01), Heft 2, S. 175-184Online academicJournal
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-10-01), Heft 7, S. 1466-1483Online academicJournalZugriff:
-
In: Mathematical Logic Quarterly, Jg. 54 (2008), Heft 1, S. 5-11Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 156 (2008-11-01), Heft 1, S. 123-159Online academicJournal