Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- interpretation (model theory) 3 Treffer
- mathematics::logic 3 Treffer
- urelement 3 Treffer
- zermelo-fraenkel set theory 3 Treffer
- axiom 2 Treffer
-
20 weitere Werte:
- mathematical economics 2 Treffer
- set theory 2 Treffer
- algebra 1 Treffer
- class (set theory) 1 Treffer
- computer science applications 1 Treffer
- computer science::logic in computer science 1 Treffer
- constructive mathematics 1 Treffer
- discrete mathematics 1 Treffer
- extension (predicate logic) 1 Treffer
- general set theory 1 Treffer
- homotopy 1 Treffer
- homotopy type theory 1 Treffer
- logic 1 Treffer
- martin-lof type theory 1 Treffer
- mathematics (miscellaneous) 1 Treffer
- morse-kelley set theory 1 Treffer
- non-well-founded set theory 1 Treffer
- pure mathematics 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Publikation
Sprache
4 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 31 (2019-11-29), S. 112-143Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, , Heft 3, S. 442-471Online unknownZugriff:
-
2008Online unknownZugriff: