Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- constructive mathematics 2 Treffer
- mathematics 2 Treffer
- 03c90 1 Treffer
- algebra 1 Treffer
- axioms 1 Treffer
-
14 weitere Werte:
- categorical logic 1 Treffer
- dependent choices 1 Treffer
- formal topology 1 Treffer
- intuitionistic logic 1 Treffer
- intuitionistic mathematics 1 Treffer
- kripke models 1 Treffer
- logic 1 Treffer
- mathematical analysis 1 Treffer
- mathematical logic 1 Treffer
- mathematical mappings 1 Treffer
- number theory 1 Treffer
- realizability 1 Treffer
- semantics 1 Treffer
- sheaf theory 1 Treffer
Verlag
Publikation
Sprache
4 Treffer
-
In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 163 (2012-02-01), Heft 2, S. 175-184Online academicJournal
-
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