Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 03c90 4 Treffer
- logic 4 Treffer
- mathematics 4 Treffer
- constructive mathematics 3 Treffer
- generic extensions 3 Treffer
-
17 weitere Werte:
- intuitionistic mathematics 3 Treffer
- mathematical models 3 Treffer
- set theory 3 Treffer
- 03f50 1 Treffer
- 03f65 1 Treffer
- algebra 1 Treffer
- axiom 1 Treffer
- construct (python library) 1 Treffer
- constructive set-theory 1 Treffer
- discrete mathematics 1 Treffer
- exponentiation 1 Treffer
- kripke semantics 1 Treffer
- kripke structure 1 Treffer
- mathematics::logic 1 Treffer
- model theory 1 Treffer
- philosophy 1 Treffer
- wijsbegeerte 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167Online academicJournalZugriff:
-
In: Archive for Mathematical Logic, Jg. 49 (2009-12-10), S. 147-167Online unknownZugriff: