Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- discrete mathematics 2 Treffer
- morse-kelley set theory 2 Treffer
- axiom of extensionality 1 Treffer
- combinatorics 1 Treffer
- computer science applications 1 Treffer
-
13 weitere Werte:
- computer science::logic in computer science 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- constructive mathematics 1 Treffer
- kripke-platek set theory 1 Treffer
- mathematical economics 1 Treffer
- mathematics (miscellaneous) 1 Treffer
- mathematics::logic 1 Treffer
- non-well-founded set theory 1 Treffer
- order (ring theory) 1 Treffer
- scott's trick 1 Treffer
- second-order arithmetic 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- type theory 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 25 (2014-11-10), S. 1466-1483Online unknownZugriff:
-
2008Online unknownZugriff: