Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 3 Treffer
- algebra 2 Treffer
- constructive mathematics 2 Treffer
- constructive set theory 2 Treffer
- formal methods 2 Treffer
-
21 weitere Werte:
- mathematics::logic 2 Treffer
- axiom 1 Treffer
- axiom of choice 1 Treffer
- computer science::logic in computer science 1 Treffer
- consistency (knowledge bases) 1 Treffer
- constructive 1 Treffer
- discrete mathematics 1 Treffer
- domain theory 1 Treffer
- formal topology 1 Treffer
- frame 1 Treffer
- frame (artificial intelligence) 1 Treffer
- heyting algebra 1 Treffer
- independence (mathematical logic) 1 Treffer
- interpretation (model theory) 1 Treffer
- martin-lof type theory 1 Treffer
- mathematical logic 1 Treffer
- mathematics::category theory 1 Treffer
- type theory 1 Treffer
- urelement 1 Treffer
- zermelo-fraenkel set theory 1 Treffer
- zorn's lemma 1 Treffer
Publikation
Sprache
4 Treffer
-
In: Information Processing Letters, Jg. 182 (2023-08-01), S. N.PAGacademicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 132 (2005-03-01), Heft 2/3, S. 209-225Online academicJournal
-
In: Annals of Pure and Applied Logic, , Heft 1-3, S. 164-188Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, , Heft 3, S. 442-471Online unknownZugriff: