Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Meinten Sie loss?
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
- springer, cham 8 Treffer
- ``metsniereba'', tbilisi 6 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 5 Treffer
- springer, berlin 5 Treffer
- coll. publ., [london] 4 Treffer
-
45 weitere Werte:
- birkhauser/springer, cham 3 Treffer
- north-holland, amsterdam 3 Treffer
- springer, singapore 3 Treffer
- acm, new york 2 Treffer
- coll. publ., london 2 Treffer
- college publications, london 2 Treffer
- ivanov. gos. univ., ivanovo 2 Treffer
- kalinin. gos. univ., kalinin 2 Treffer
- springer-verlag, berlin 2 Treffer
- ``nauka'', moscow 1 Treffer
- academic press, london-new york 1 Treffer
- birkhauser boston, boston, ma 1 Treffer
- birkhauser boston, inc., boston, ma 1 Treffer
- cambridge university press, cambridge 1 Treffer
- cambridge university press, cambridge-new york 1 Treffer
- cambridge university press, london-new york 1 Treffer
- centre national belge de recherches de logique, brussels 1 Treffer
- de gruyter, berlin 1 Treffer
- dekker, new york 1 Treffer
- editura the flower power, pitesti 1 Treffer
- editura universitatii din pitesti, pitesti 1 Treffer
- fizmatlit, moscow 1 Treffer
- friedr. vieweg \& sohn, braunschweig 1 Treffer
- gordon and breach science publishers, amsterdam 1 Treffer
- izdat. ``mir'', moscow 1 Treffer
- janos bolyai math. soc., budapest 1 Treffer
- kluwer acad. publ., dordrecht 1 Treffer
- kluwer academic publishers group, dordrecht 1 Treffer
- kluwer academic publishers, dordrecht 1 Treffer
- math. centrum, amsterdam 1 Treffer
- morgan kaufmann, palo alto, ca 1 Treffer
- north-holland publishing co., amsterdam 1 Treffer
- north-holland, amsterdam-new york 1 Treffer
- orell fussli, zurich 1 Treffer
- oxford univ. press, oxford 1 Treffer
- proquest llc, ann arbor, mi 1 Treffer
- routledge, london 1 Treffer
- springer, [cham] 1 Treffer
- springer, dordrecht 1 Treffer
- springer, heidelberg 1 Treffer
- the clarendon press, oxford university press, new york 1 Treffer
- universidade estadual de campinas, centro de logica, epistemologia e historia de ciencia, campinas 1 Treffer
- uniwersytet im. adama mickiewicza w poznaniu, poznan 1 Treffer
- wadsworth \& brooks/cole advanced books \& software, monterey, ca 1 Treffer
- world sci. publ., river edge, nj 1 Treffer
Publikation
- the journal of symbolic logic 22 Treffer
- studia logica. an international journal for symbolic logic 11 Treffer
- quantitative finance 9 Treffer
- notre dame journal of formal logic 8 Treffer
- annals of pure and applied logic 7 Treffer
-
45 weitere Werte:
- archiv fur mathematische logik und grundlagenforschung 6 Treffer
- archive for mathematical logic 6 Treffer
- journal of philosophical logic 6 Treffer
- logic journal of the igpl. interest group in pure and applied logics 6 Treffer
- physical review d 5 Treffer
- the review of symbolic logic 5 Treffer
- classical and quantum gravity 4 Treffer
- polish academy of sciences. institute of philosophy and sociology. studia logica. an international journal for symbolic logic 4 Treffer
- siam journal on financial mathematics 4 Treffer
- applied mathematical finance 3 Treffer
- boll. un. mat. ital. (4) 3 Treffer
- european journal of operational research 3 Treffer
- intensional logics and the logical structure of theories (russian) (telavi, 1985) 3 Treffer
- physical review. d. third series 3 Treffer
- zeitschrift fur mathematische logik und grundlagen der mathematik 3 Treffer
- advances in mathematical logic 2 Treffer
- advances in modal logic. vol. 12 2 Treffer
- algebra and logic 2 Treffer
- celestial mechanics \& dynamical astronomy. an international journal of space dynamics 2 Treffer
- discrete mathematics and applications 2 Treffer
- diskretnaya matematika 2 Treffer
- international journal of bifurcation and chaos in applied sciences and engineering 2 Treffer
- journal of automated reasoning 2 Treffer
- journal of mathematical sciences (new york) 2 Treffer
- logic, language, information, and computation 2 Treffer
- methodology and computing in applied probability 2 Treffer
- mlq. mathematical logic quarterly 2 Treffer
- moscow university mathematics bulletin 2 Treffer
- polska akademia nauk. fundamenta mathematicae 2 Treffer
- proceedings of the london mathematical society. second series 2 Treffer
- rendiconti del seminario matematico della universita di padova. the mathematical journal of the university of padova 2 Treffer
- reports on mathematical logic 2 Treffer
- rossiiskaya akademiya nauk. sankt-peterburgskoe otdelenie. matematicheskii\ institut im. v. a. steklova. zapiski nauchnykh seminarov (pomi) 2 Treffer
- siberian mathematical journal 2 Treffer
- the bulletin of symbolic logic 2 Treffer
- theoretical computer science 2 Treffer
- university of lodz. department of logic. bulletin of the section of logic 2 Treffer
- vestnik moskovskogo universiteta. seriya i. matematika, mekhanika 2 Treffer
- 12th international conference on interactive theorem proving 1 Treffer
- 24th international conference on types for proofs and programs 1 Treffer
- 30th eacsl annual conference on computer science logic 1 Treffer
- 32nd eacsl annual conference on computer science logic 1 Treffer
- 7th international conference on formal structures for computation and deduction 1 Treffer
- a tribute to albert visser 1 Treffer
- acm transactions on computation theory 1 Treffer
Sprache
319 Treffer
-
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!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
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!Online 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!Online 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:
-
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!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: