Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- discrete mathematics 11 Treffer
- logic 11 Treffer
- mathematics::logic 7 Treffer
- set theory 6 Treffer
- axiom 5 Treffer
-
45 weitere Werte:
- calculus 4 Treffer
- constructive proof 3 Treffer
- pure mathematics 3 Treffer
- realizability 3 Treffer
- set (abstract data type) 3 Treffer
- universal set 3 Treffer
- 01 natural sciences 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- algebra 2 Treffer
- class (set theory) 2 Treffer
- computer science::logic in computer science 2 Treffer
- constructive analysis 2 Treffer
- dedekind cut 2 Treffer
- fos: mathematics 2 Treffer
- interpretation (model theory) 2 Treffer
- logic (math.lo) 2 Treffer
- mathematical proof 2 Treffer
- mathematics - logic 2 Treffer
- mathematics::category theory 2 Treffer
- mutual fund separation theorem 2 Treffer
- philosophy 2 Treffer
- zermelo-fraenkel set theory 2 Treffer
- 03f35 1 Treffer
- 03f50 1 Treffer
- applied mathematics 1 Treffer
- axiom of choice 1 Treffer
- axiom of extensionality 1 Treffer
- bar induction 1 Treffer
- basis (linear algebra) 1 Treffer
- binary number 1 Treffer
- bounded quantifier 1 Treffer
- categorical logic 1 Treffer
- closed set 1 Treffer
- combinatorics 1 Treffer
- computer 1 Treffer
- computer science::cryptography and security 1 Treffer
- computer.programming_language 1 Treffer
- consistency (knowledge bases) 1 Treffer
- constructivism (mathematics) 1 Treffer
- context (language use) 1 Treffer
- countable set 1 Treffer
- decidability 1 Treffer
Verlag
Publikation
Sprache
14 Treffer
-
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: Journal of Applied Logic, Jg. 6 (2008-09-01), S. 443-458Online unknownZugriff:
-
In: Dialectica, Jg. 62 (2008-06-01), S. 149-177Online unknownZugriff:
-
In: MLQ, Jg. 52 (2006-06-01), S. 253-258Online unknownZugriff:
-
In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), S. 1233-1254Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 136 (2005-10-01), Heft 1-2, S. 156-174Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, , Heft 10, S. 1419-1436Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, , Heft 1-3, S. 164-188Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, , Heft 1-3, S. 31-73Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 161 (2010), S. 560-569Online unknownZugriff: