Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 37 Treffer
- mathematics 32 Treffer
- constructive set theory 24 Treffer
- constructive 21 Treffer
- discrete mathematics 16 Treffer
-
45 weitere Werte:
- algebra 15 Treffer
- mathematics::logic 13 Treffer
- axiom 12 Treffer
- mathematics - logic 12 Treffer
- philosophy 12 Treffer
- axiom of choice 9 Treffer
- intuitionistic logic 9 Treffer
- realizability 9 Treffer
- bc1-199 7 Treffer
- electronic computers. computer science 7 Treffer
- fos: mathematics 7 Treffer
- logic (math.lo) 7 Treffer
- qa75.5-76.95 7 Treffer
- type theory 7 Treffer
- constructive mathematics 6 Treffer
- constructivism 6 Treffer
- zermelo-fraenkel set theory 6 Treffer
- interpretation (model theory) 5 Treffer
- kripke models 5 Treffer
- pure mathematics 5 Treffer
- universal set 5 Treffer
- calculus 4 Treffer
- interpretation 4 Treffer
- set (abstract data type) 4 Treffer
- 01 natural sciences 3 Treffer
- 0101 mathematics 3 Treffer
- 010102 general mathematics 3 Treffer
- 03c90 3 Treffer
- arithmetic 3 Treffer
- category theory 3 Treffer
- computer science::logic in computer science 3 Treffer
- constructive proof 3 Treffer
- homotopy theory 3 Treffer
- intuitionistic mathematics 3 Treffer
- mathematical models 3 Treffer
- model 3 Treffer
- power set 3 Treffer
- semantics 3 Treffer
- topological space 3 Treffer
- topology 3 Treffer
- universe (mathematics) 3 Treffer
- urelement 3 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 03f50 2 Treffer
Verlag
- elsevier bv 14 Treffer
- cambridge university press (cup) 9 Treffer
- logical methods in computer science e.v. 7 Treffer
- elsevier b.v. 5 Treffer
- wiley 4 Treffer
-
9 weitere Werte:
- oxford university press (oup) 3 Treffer
- springer nature 3 Treffer
- springer science and business media llc 3 Treffer
- oxford university press 2 Treffer
- stockholms universitet, matematiska institutionen 2 Treffer
- elsevier b.v. published by elsevier b.v. 1 Treffer
- elsevier science b.v. 1 Treffer
- stockholm : department of mathematics, stockholm university 1 Treffer
- wiley-v c h verlag gmbh 1 Treffer
Publikation
- annals of pure and applied logic 23 Treffer
- archive for mathematical logic 5 Treffer
- journal of symbolic logic 4 Treffer
- logical methods in computer science 4 Treffer
- the journal of symbolic logic 3 Treffer
-
13 weitere Werte:
- from sets and types to topology and analysis : towards practicable foundations for constructive mathematics 2 Treffer
- information processing letters 2 Treffer
- mlq 2 Treffer
- annals of pure & applied logic 1 Treffer
- dialectica: international journal of philosophy of knowledge 1 Treffer
- journal of applied logic 1 Treffer
- logic journal of igpl 1 Treffer
- logical methods in computer science, vol volume 10, issue 3 (2014 1 Treffer
- logical methods in computer science, vol volume 13, issue 3 (2017 1 Treffer
- logical methods in computer science, vol volume 17, issue 2 (2021 1 Treffer
- logique et analyse 1 Treffer
- studia logica 1 Treffer
- studia logica: an international journal for symbolic logic 1 Treffer
Sprache
79 Treffer
-
In: The Journal of Symbolic Logic ; page 1-23 ; ISSN 0022-4812 1943-5886, 2022academicJournalZugriff:
-
In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Logic Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
In: Annals of Pure and Applied Logic ; volume 165, issue 5, page 1115-1147 ; ISSN 0168-0072, 2014academicJournalZugriff:
-
In: Archive for Mathematical Logic, Jg. 49 (2009-12-10), S. 147-167Online unknownZugriff:
-
In: Annals of Pure and Applied Logic, Jg. 141 (2006-08-01), Heft 1-2, S. 29-34Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: Archive for Mathematical Logic ; volume 49, issue 2, page 147-167 ; ISSN 0933-5846 1432-0665, 2009academicJournalZugriff:
-
In: Journal of Applied Logic ; volume 6, issue 3, page 443-458 ; ISSN 1570-8683, 2008academicJournalZugriff:
-
In: Logic Journal of IGPL ; volume 21, issue 1, page 63-76 ; ISSN 1367-0751 1368-9894, 2012Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: The Journal of Symbolic Logic, 2022-07-20, S. 1-32Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Information Processing Letters, Jg. 182 (2023-08-01), S. N.PAGacademicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: