Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 03c90 3 Treffer
- constructive mathematics 3 Treffer
- intuitionistic mathematics 3 Treffer
- mathematical models 3 Treffer
- algebra 2 Treffer
-
15 weitere Werte:
- constructive set theory 2 Treffer
- exponentiation 2 Treffer
- axiom 1 Treffer
- construct (python library) 1 Treffer
- constructive 1 Treffer
- discrete mathematics 1 Treffer
- generic extensions 1 Treffer
- independence (mathematical logic) 1 Treffer
- kripke semantics 1 Treffer
- kripke structure 1 Treffer
- mathematics::logic 1 Treffer
- model theory 1 Treffer
- philosophy 1 Treffer
- power set 1 Treffer
- wijsbegeerte 1 Treffer
Verlag
Publikation
Sprache
3 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:
-
In: Annals of Pure and Applied Logic, Jg. 132 (2005-03-01), S. 209-225Online unknownZugriff: