Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logic 23 Treffer
- set theory 22 Treffer
- discrete mathematics 19 Treffer
- mathematics::logic 15 Treffer
- constructive 14 Treffer
-
45 weitere Werte:
- axiom of choice 11 Treffer
- axiom 10 Treffer
- zermelo-fraenkel set theory 10 Treffer
- algebra 9 Treffer
- urelement 7 Treffer
- axioms 6 Treffer
- interpretation (model theory) 6 Treffer
- mathematical models 6 Treffer
- realizability 6 Treffer
- type theory 6 Treffer
- constructive mathematics 5 Treffer
- mathematical logic 5 Treffer
- pure mathematics 5 Treffer
- universal set 5 Treffer
- calculus 4 Treffer
- class (set theory) 4 Treffer
- constructive proof 4 Treffer
- intuitionistic logic 4 Treffer
- set (abstract data type) 4 Treffer
- 03c90 3 Treffer
- computer science::logic in computer science 3 Treffer
- constructive analysis 3 Treffer
- dependent choices 3 Treffer
- extension (predicate logic) 3 Treffer
- fos: mathematics 3 Treffer
- general set theory 3 Treffer
- intuitionistic mathematics 3 Treffer
- kripke models 3 Treffer
- logic (math.lo) 3 Treffer
- mathematics - logic 3 Treffer
- philosophy 3 Treffer
- sheaves 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 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
- axiom of extensionality 2 Treffer
- category of sets 2 Treffer
- combinatorics 2 Treffer
- computer 2 Treffer
- computer science applications 2 Treffer
- computer.programming_language 2 Treffer
- computingmethodologies_documentandtextprocessing 2 Treffer
Verlag
- elsevier bv 7 Treffer
- elsevier b.v. 5 Treffer
- cambridge university press (cup) 3 Treffer
- springer nature 3 Treffer
- wiley-blackwell 3 Treffer
-
10 weitere Werte:
- springer berlin heidelberg 2 Treffer
- springer netherlands 2 Treffer
- springer science and business media llc 2 Treffer
- wiley 2 Treffer
- world scientific publishing company 2 Treffer
- elsevier 1 Treffer
- elsevier b.v. published by elsevier b.v. 1 Treffer
- elsevier science b.v. 1 Treffer
- oxford university press (oup) 1 Treffer
- verein philosophie.ch 1 Treffer
Publikation
Sprache
39 Treffer
-
In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167Online academicJournalZugriff:
-
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
In: Archive for Mathematical Logic, Jg. 49 (2009-12-10), S. 147-167Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 170 (2019-10-01), Heft 10, S. 1256-1272Online academicJournal
-
In: Mathematical Logic Quarterly, Jg. 54 (2008), Heft 1, S. 5-11Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 141 (2006-09-01), Heft 3, S. 442-471Online academicJournal
-
In: Annals of Pure & Applied Logic, Jg. 136 (2005-10-01), Heft 1/2, S. 156-174Online academicJournal
-
In: Journal of Mathematical Logic, Jg. 14 (2014-06-01), Heft 1, S. -1- (28S.)academicJournalZugriff:
-
In: Studia Logica, Jg. 101 (2012-06-12), S. 467-482Online 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. 54 (2008-02-01), S. 5-11Online 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, Jg. 120 (2003-04-01), S. 165-196Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 115 (2002-06-01), Heft 1-3, S. 33-70Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 94 (1998-10-01), S. 181-200Online unknownZugriff: