Treffer 1 - 20 von 701

01 natural sciences 406 0101 mathematics 349 0102 computer and information sciences 235 intuitionistic logic 150 06 humanities and the arts 104 0603 philosophy, ethics and religion 104 mehr ... modal logic (including the logic of norms) 91 cut-elimination and normal-form theorems 81 16. peace & justice 78 02 engineering and technology 77 0202 electrical engineering, electronic engineering, information engineering 75 intermediate logics 64 decidability of theories and sets of sentences 53 linear logic 53 substructural logics (including relevance, entailment, linear logic, lambek calculus, bck and bci logics) 47 logic 39 other algebras related to logic 39 other nonclassical logic 37 classical first-order logic 33 modal logic 33 philosophical and critical aspects of logic and foundations 33 intuitionistic mathematics 32 classical propositional logic 30 proof theory in general (including proof-theoretic semantics) 30 theoretical computer science 30 combinatory logic and lambda calculus 29 logic in computer science 29 categorical logic, topoi 28 mechanization of proofs and logical operations 28 completeness 27 weniger ...

springer science and business media llc 139 elsevier bv 77 cambridge university press (cup) 69 oxford university press (oup) 47 wiley 46 duke university press 34 mehr ... peeters, leuven; centre national belge de recherches de logique, bruxelles 26 university of lodz, department of logic, lodz 26 jagiellonian university (uniwersytet jagiellonski), cracow 23 springer netherlands, dordrecht; polish academy of sciences, institute of philosophy and sociology, warsaw 19 polish academy of sciences, institute of philosophy and sociology, wroclaw 18 steklov mathematical institute 9 springer us, new york, ny; pleiades publishing (allerton press), new york, ny; maik ``nauka/interperiodica'', moscow 7 research institute for mathematical sciences, kyoto university, kyoto 6 springer us, new york, ny; pleiades publishing, new york, ny; maik ``nauka/interperiodica'', moscow 5 university of wroclaw (uniwersitet wroclawski), wroclaw 5 american mathematical society (ams), providence, ri 4 association for computing machinery (acm) 4 izdatel'stvo shtiintsa, kishinev 4 sage publications 4 springer us 4 gauthier-villars, paris 3 jstor 3 springer berlin heidelberg 3 springer netherlands, dordrecht 3 tbilisi state university - tsu (tbilisi gosudarstvennyi universitet), tbilisi 3 veb deutscher verlag der wissenschaften, berlin 3 wiley (wiley-vch), weinheim 3 academia sinica, institute of mathematics, beijing; chinese mathematical society, beijing 2 academy of sciences of the union of soviet socialist republics - ussr (akademiya nauk sssr), leningrad branch (leningradskoe otdelenie), leningrad 2 weniger ...

english 386 undetermined 312 german 2 french 1

OpenAIRE 701