Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- urelement 7 Treffer
- zermelo-fraenkel set theory 7 Treffer
- discrete mathematics 6 Treffer
- logic 6 Treffer
- mathematics::logic 6 Treffer
-
45 weitere Werte:
- set theory 6 Treffer
- axiom 5 Treffer
- type theory 4 Treffer
- algebra 3 Treffer
- general set theory 3 Treffer
- interpretation (model theory) 3 Treffer
- pure mathematics 3 Treffer
- computer science applications 2 Treffer
- computer science::logic in computer science 2 Treffer
- computingmethodologies_documentandtextprocessing 2 Treffer
- fos: mathematics 2 Treffer
- logic (math.lo) 2 Treffer
- mathematical economics 2 Treffer
- mathematics - logic 2 Treffer
- mathematics (miscellaneous) 2 Treffer
- morse-kelley set theory 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- algebra and topology 1 Treffer
- algebra en topologie 1 Treffer
- arts and humanities (miscellaneous) 1 Treffer
- axiom of extensionality 1 Treffer
- category of sets 1 Treffer
- class (set theory) 1 Treffer
- combinatorics 1 Treffer
- constructive 1 Treffer
- constructive mathematics 1 Treffer
- context (language use) 1 Treffer
- dedekind cut 1 Treffer
- dedekind-macneille completion 1 Treffer
- equinumerosity 1 Treffer
- extension (predicate logic) 1 Treffer
- extensionality 1 Treffer
- hardware and architecture 1 Treffer
- history and philosophy of science 1 Treffer
- homotopy 1 Treffer
- homotopy type theory 1 Treffer
- horizontal line test 1 Treffer
- injective module 1 Treffer
- intuitionistic type theory 1 Treffer
Verlag
Publikation
Sprache
11 Treffer
-
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
In: Studia Logica, Jg. 101 (2012-06-12), S. 467-482Online unknownZugriff:
-
In: MLQ, Jg. 54 (2008-02-01), S. 5-11Online unknownZugriff:
-
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:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2014-11-10), S. 1466-1483Online unknownZugriff:
-
2008Online unknownZugriff: