Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- set theory 41 Treffer
- mathematics 39 Treffer
- logic 25 Treffer
- realizability 25 Treffer
- discrete mathematics 20 Treffer
-
45 weitere Werte:
- mathematics::logic 17 Treffer
- axiom of choice 16 Treffer
- constructive 14 Treffer
- constructive mathematics 13 Treffer
- intuitionistic logic 13 Treffer
- mathematical logic 13 Treffer
- axioms 12 Treffer
- algebra 11 Treffer
- axiom 11 Treffer
- kripke models 11 Treffer
- type theory 11 Treffer
- zermelo-fraenkel set theory 10 Treffer
- mathematical models 8 Treffer
- formal topology 7 Treffer
- urelement 7 Treffer
- 03f50 6 Treffer
- interpretation (model theory) 6 Treffer
- intuitionistic mathematics 6 Treffer
- pure mathematics 5 Treffer
- universal set 5 Treffer
- 03c90 4 Treffer
- calculus 4 Treffer
- class (set theory) 4 Treffer
- computer science::logic in computer science 4 Treffer
- constructible sets 4 Treffer
- constructive proof 4 Treffer
- dependent type theory 4 Treffer
- fos: mathematics 4 Treffer
- generic extensions 4 Treffer
- logic (math.lo) 4 Treffer
- mathematics - logic 4 Treffer
- proof-theoretic strength 4 Treffer
- set (abstract data type) 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- algorithms 3 Treffer
- arithmetic 3 Treffer
- bar induction 3 Treffer
- brouwerian algebras 3 Treffer
- constructive analysis 3 Treffer
- distributive lattices 3 Treffer
- extension (predicate logic) 3 Treffer
- general set theory 3 Treffer
- homotopy type theory 3 Treffer
- injective object 3 Treffer
- intuitionistic type theory 3 Treffer
Verlag
- elsevier b.v. 12 Treffer
- cambridge university press 9 Treffer
- elsevier bv 7 Treffer
- wiley-blackwell 6 Treffer
- springer nature 5 Treffer
-
24 weitere Werte:
- cambridge university press (cup) 3 Treffer
- springer netherlands 3 Treffer
- utrecht university 3 Treffer
- logical methods in computer science 2 Treffer
- springer 2 Treffer
- springer berlin heidelberg 2 Treffer
- springer science and business media llc 2 Treffer
- wiley 2 Treffer
- world scientific publishing company 2 Treffer
- association for symbolic logic 1 Treffer
- elsevier 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
- oxford university press (oup) 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- springer-verlag 1 Treffer
- verein philosophie.ch 1 Treffer
- wiley-v c h verlag gmbh 1 Treffer
- 한국분석철학회 1 Treffer
- 한국철학회 1 Treffer
Publikation
- annals of pure and applied logic 13 Treffer
- annals of pure & applied logic 10 Treffer
- journal of symbolic logic 8 Treffer
- archive for mathematical logic 7 Treffer
- mathematical logic quarterly 6 Treffer
-
19 weitere Werte:
- mathematical structures in computer science 4 Treffer
- journal of mathematical logic 2 Treffer
- logic group preprint series 2 Treffer
- logical methods in computer science (lmcs) 2 Treffer
- mlq 2 Treffer
- studia logica 2 Treffer
- dialectica 1 Treffer
- from sets and types to topology and analysis : towards practicable foundations for constructive mathematics 1 Treffer
- journal of applied logic 1 Treffer
- journal of computer science & technology (10009000) 1 Treffer
- journal of north china institute of water conservancy and hydroelectric power(social sciences edition) 1 Treffer
- jucs - journal of universal computer science 1 Treffer
- logic journal of igpl 1 Treffer
- logical methods in computer science 1 Treffer
- studia logica: an international journal for symbolic logic 1 Treffer
- the journal of symbolic logic 1 Treffer
- 철학 1 Treffer
- 철학적분석 1 Treffer
- 华北水利水电学院学报:社会科学版 1 Treffer
Sprache
98 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 Journal of IGPL, Jg. 21 (2012-07-02), S. 63-76Online unknownZugriff:
-
In: Logic Group Preprint Series, Jg. 276 (2009-06-01), S. 1Online reportZugriff:
-
In: Archive for Mathematical Logic, Jg. 49 (2009-12-10), S. 147-167Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: http://www.maths.leeds.ac.uk/~rathjen/tklr.pdf, 2004Online academicJournalZugriff:
-
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:
-
In: 철학적분석, 2017-12-31, Heft 38, S. 23-49academicJournalZugriff:
-
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