Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 11 Treffer
- axioms 7 Treffer
- mathematics 5 Treffer
- constructive mathematics 4 Treffer
- proof-theoretic strength 4 Treffer
-
28 weitere Werte:
- realizability 4 Treffer
- algorithms 3 Treffer
- brouwerian algebras 3 Treffer
- dependent choices 3 Treffer
- distributive lattices 3 Treffer
- intuitionistic mathematics 3 Treffer
- mathematical induction 3 Treffer
- mathematical models 3 Treffer
- numerical analysis 3 Treffer
- theory 3 Treffer
- universal algebra 3 Treffer
- bar induction 2 Treffer
- applicative theories 1 Treffer
- axiom of choice 1 Treffer
- axiomatic set theory 1 Treffer
- categories 1 Treffer
- dependent type theory 1 Treffer
- formalization 1 Treffer
- logical disjunction 1 Treffer
- logical theorems 1 Treffer
- martin-lof type theory 1 Treffer
- matematisk logik 1 Treffer
- mathematical set theory 1 Treffer
- mathematical theorems 1 Treffer
- natural numbers 1 Treffer
- recursion 1 Treffer
- replacement 1 Treffer
- setoids 1 Treffer
Verlag
Publikation
Sprache
6 Treffer
-
In: Mathematical Logic Quarterly, Jg. 54 (2008), Heft 1, S. 5-11Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 141 (2006-09-01), Heft 3, S. 442-471Online academicJournal
-
In: Mathematical Logic Quarterly, Jg. 52 (2006-05-01), Heft 3, S. 253-258Online academicJournalZugriff:
-
In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 136 (2005-10-01), Heft 1/2, S. 156-174Online academicJournal
-
In: Logical Methods in Computer Science, Jg. 10 (2014), Heft 3Online unknownZugriff: