Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algebra 1 Treffer
- axiom 1 Treffer
- computer science 1 Treffer
- computer science::logic in computer science 1 Treffer
- constructible sets 1 Treffer
-
15 weitere Werte:
- constructive set-theory 1 Treffer
- dependent type 1 Treffer
- dependent type theory 1 Treffer
- discrete mathematics 1 Treffer
- double negation 1 Treffer
- generic extensions 1 Treffer
- interpretation (logic) 1 Treffer
- intuitionistic type theory 1 Treffer
- kripke models 1 Treffer
- mathematics::logic 1 Treffer
- rule of inference 1 Treffer
- set theory 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- type theory 1 Treffer
Sprache
2 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff: