Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 18 Treffer
- constructive set theory 15 Treffer
- mathematics 12 Treffer
- constructive 10 Treffer
- logic 9 Treffer
-
45 weitere Werte:
- urelement 7 Treffer
- zermelo-fraenkel set theory 7 Treffer
- axioms 6 Treffer
- constructive mathematics 6 Treffer
- discrete mathematics 6 Treffer
- mathematics::logic 6 Treffer
- realizability 6 Treffer
- type theory 6 Treffer
- axiom 5 Treffer
- algebra 4 Treffer
- church's thesis 4 Treffer
- general set theory 3 Treffer
- generalization 3 Treffer
- injective object 3 Treffer
- interpretation (model theory) 3 Treffer
- intuitionistic type theory 3 Treffer
- predicate calculus 3 Treffer
- pure mathematics 3 Treffer
- addition (mathematics) 2 Treffer
- computer science applications 2 Treffer
- computer science::logic in computer science 2 Treffer
- computingmethodologies_documentandtextprocessing 2 Treffer
- dedekind rings 2 Treffer
- fos: mathematics 2 Treffer
- logic (math.lo) 2 Treffer
- martin-lof type theory 2 Treffer
- mathematical economics 2 Treffer
- mathematics - logic 2 Treffer
- mathematics (miscellaneous) 2 Treffer
- morse-kelley set theory 2 Treffer
- predicative 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- topology 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
- axiomatic set theory 1 Treffer
- category of sets 1 Treffer
Verlag
Publikation
Sprache
20 Treffer
-
In: Logic Journal of the IGPL, Jg. 21 (2013-02-01), Heft 1, S. 63-76Online academicJournalZugriff:
-
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-10-01), Heft 4, S. 1-28Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 17 (2021-04-01), Heft 2, S. 1-21Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 174 (2023-10-01), Heft 9, S. N.PAGOnline academicJournal
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
2021Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Studia Logica, Jg. 101 (2012-06-12), S. 467-482Online unknownZugriff:
-
In: MLQ, Jg. 54 (2008-02-01), S. 5-11Online unknownZugriff:
-
2013Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2019-11-29), S. 112-143Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2014-11-10), S. 1466-1483Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, , Heft 3, S. 442-471Online unknownZugriff:
-
2008Online unknownZugriff: