Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 34 Treffer
- realizability 22 Treffer
- mathematics 18 Treffer
- mathematical logic 13 Treffer
- axioms 12 Treffer
-
45 weitere Werte:
- constructive mathematics 12 Treffer
- intuitionistic logic 12 Treffer
- logic 12 Treffer
- kripke models 9 Treffer
- axiom of choice 8 Treffer
- mathematical models 8 Treffer
- mathematics::logic 8 Treffer
- formal topology 7 Treffer
- algebra 6 Treffer
- intuitionistic mathematics 6 Treffer
- type theory 6 Treffer
- 03f50 5 Treffer
- constructive 5 Treffer
- discrete mathematics 5 Treffer
- proof-theoretic strength 5 Treffer
- 03c90 4 Treffer
- dependent type theory 4 Treffer
- fos: mathematics 4 Treffer
- logic (math.lo) 4 Treffer
- mathematics - logic 4 Treffer
- algorithms 3 Treffer
- arithmetic 3 Treffer
- axiom 3 Treffer
- bar induction 3 Treffer
- brouwerian algebras 3 Treffer
- constructible sets 3 Treffer
- dependent choices 3 Treffer
- distributive lattices 3 Treffer
- generic extensions 3 Treffer
- injective object 3 Treffer
- intuitionistic set theory 3 Treffer
- mathematical induction 3 Treffer
- numerical analysis 3 Treffer
- sheaves 3 Treffer
- theory 3 Treffer
- topological models 3 Treffer
- universal algebra 3 Treffer
- addition (mathematics) 2 Treffer
- axiomatic set theory 2 Treffer
- categorical logic 2 Treffer
- categorical semantics 2 Treffer
- church's thesis 2 Treffer
- comparative studies 2 Treffer
- computer science::logic in computer science 2 Treffer
- first-order logic 2 Treffer
Verlag
- elsevier b.v. 12 Treffer
- cambridge university press 9 Treffer
- wiley-blackwell 6 Treffer
- springer nature 5 Treffer
- utrecht university 3 Treffer
-
15 weitere Werte:
- logical methods in computer science 2 Treffer
- springer 2 Treffer
- world scientific publishing company 2 Treffer
- association for symbolic logic 1 Treffer
- cambridge univ press 1 Treffer
- elsevier b.v. published by elsevier b.v. 1 Treffer
- elsevier science b.v. 1 Treffer
- elsevier science bv 1 Treffer
- journal of universal computer science 1 Treffer
- lipics - leibniz international proceedings in informatics. 28th eacsl annual conference on computer science logic (csl 2020) 1 Treffer
- oxford university press 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- springer netherlands 1 Treffer
- springer-verlag 1 Treffer
- wiley-v c h verlag gmbh 1 Treffer
Publikation
- annals of pure & applied logic 10 Treffer
- journal of symbolic logic 8 Treffer
- annals of pure and applied logic 7 Treffer
- archive for mathematical logic 6 Treffer
- mathematical logic quarterly 6 Treffer
-
11 weitere Werte:
- journal of mathematical logic 2 Treffer
- logic group preprint series 2 Treffer
- logical methods in computer science (lmcs) 2 Treffer
- mathematical structures in computer science 2 Treffer
- from sets and types to topology and analysis : towards practicable foundations for constructive mathematics 1 Treffer
- journal of computer science & technology (10009000) 1 Treffer
- jucs - journal of universal computer science 1 Treffer
- logical methods in computer science 1 Treffer
- studia logica 1 Treffer
- studia logica: an international journal for symbolic logic 1 Treffer
- the journal of symbolic logic 1 Treffer
75 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167Online academicJournalZugriff:
-
In: Logic Group Preprint Series, Jg. 276 (2009-06-01), S. 1Online reportZugriff:
-
In: http://www.maths.leeds.ac.uk/~rathjen/tklr.pdf, 2004Online academicJournalZugriff:
-
2013Online unknownZugriff:
-
In: Logic Group Preprint Series, Jg. 276 (2009-06-01), S. 1-1Online unknownZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-10-01), Heft 4, S. 1-28Online academicJournalZugriff:
-
In: http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint276.pdfOnline academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 170 (2019-10-01), Heft 10, S. 1256-1272Online academicJournal
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021), Heft 1, S. 112-143Online academicJournalZugriff:
-
In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 173 (2022-05-01), Heft 5, S. N.PAGOnline academicJournal
-
In: Annals of Pure & Applied Logic, Jg. 165 (2014-02-01), Heft 2, S. 563-572Online academicJournal
-
In: Studia Logica, Jg. 101 (2013-06-01), Heft 3, S. 467-482Online academicJournalZugriff:
-
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: Mathematical Logic Quarterly, Jg. 52 (2006-05-01), Heft 3, S. 253-258Online academicJournalZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 137 (2006), Heft 1-3, S. 164-188Online academicJournal
-
In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233-1254Online academicJournalZugriff: