Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- axioms 2 Treffer
- equivalence relation 2 Treffer
- mathematical logic 2 Treffer
- mathematical theorems 2 Treffer
- realizability 2 Treffer
-
19 weitere Werte:
- applicative theories 1 Treffer
- approximation 1 Treffer
- arithmetic 1 Treffer
- axiom of choice 1 Treffer
- excluded middle 1 Treffer
- functors 1 Treffer
- inductive definitions 1 Treffer
- intuitionistic type theory 1 Treffer
- language translation 1 Treffer
- logical disjunction 1 Treffer
- logical theorems 1 Treffer
- mathematical functions 1 Treffer
- mathematical induction 1 Treffer
- mathematical relations 1 Treffer
- mathematical sets 1 Treffer
- natural numbers 1 Treffer
- quantification 1 Treffer
- recursion 1 Treffer
- type theory 1 Treffer
Publikation
Sprache
5 Treffer
-
In: Studia Logica: An International Journal for Symbolic Logic, Jg. 101 (2013-06-01), Heft 3, S. 467Online academicJournalZugriff:
-
In: The Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233Online academicJournalZugriff:
-
In: The Journal of Symbolic Logic, Jg. 54 (1989-03-01), Heft 1, S. 57-64Online academicJournalZugriff:
-
In: Dialectica, Jg. 62 (2008), Heft 2, S. 149Online academicJournalZugriff:
-
In: Logique et Analyse, Jg. 48 (2005-03-01), Heft 189/192, S. 301Online academicJournalZugriff: