Showing 1 - 20 of 1,753

01 natural sciences 1,134 0101 mathematics 954 0102 computer and information sciences 661 decidability 336 02 engineering and technology 210 0202 electrical engineering, electronic engineering, information engineering 197 more ... 16. peace & justice 189 modal logic (including the logic of norms) 181 model-theoretic algebra 151 theoretical computer science 151 complexity of computation (including implicit computational complexity) 119 automata and formal grammars in connection with logical questions 116 formal languages and automata 103 decidability (number-theoretic aspects) 100 undecidability and degrees of sets of sentences 94 analysis of algorithms and problem complexity 89 classical first-order logic 87 computer science(all) 85 mechanization of proofs and logical operations 85 06 humanities and the arts 83 0603 philosophy, ethics and religion 83 decidability and field theory 80 undecidability 73 quantifier elimination, model completeness, and related topics 67 logic with extra quantifiers and operators 63 computational theory and mathematics 60 logic 59 specification and verification (program logics, model checking, etc.) 58 general logic 56 categoricity and completeness of theories 54 less ...

springer science and business media llc 336 elsevier bv 294 cambridge university press (cup) 165 wiley 123 american mathematical society (ams) 45 duke university press 45 more ... oxford university press (oup) 33 institute of mathematics, polish academy of sciences 26 siberian fund for algebra and logic (sibirskii fond algebry i logiki) c/o novosibirsk state university (novosibirskii gosuniversitet), institute of discrete mathematics and informatics (institut diskretnoi matematiki i informatiki), novosibirsk 22 humboldt-universitat, berlin 21 russian academy of sciences - ras (rossiiskaya akademiya nauk - ran), siberian branch (sibirskoe otdelenie), sobolev insitute of mathematics (institut matematiki im. s. l. soboleva), novosibirsk 21 jstor 20 american mathematical society (ams), providence, ri 17 jagiellonian university (uniwersytet jagiellonski), cracow 16 springer berlin heidelberg 16 elsevier, paris 13 springer us, new york, ny; pleiades publishing, new york, ny; maik ``nauka/interperiodica'', moscow 12 world scientific pub co pte lt 12 springer netherlands, dordrecht; polish academy of sciences, institute of philosophy and sociology, warsaw 11 steklov mathematical institute 11 veb deutscher verlag der wissenschaften, berlin 11 walter de gruyter gmbh 11 polish academy of sciences (polska akademia nauk - pan), institute of mathematics (instytut matematyczny), warsaw 10 polish academy of sciences, institute of philosophy and sociology, wroclaw 10 sage publications 10 association for computing machinery (acm) 9 cambridge university press, west nyack, ny; association for symbolic logic (asl), poughkeepsie, ny 9 edp sciences 9 peeters, leuven; centre national belge de recherches de logique, bruxelles 9 society for industrial & applied mathematics (siam) 9 less ...

english 1,057 undetermined 682 german 12 french 1 italian 1

OpenAIRE 1,752 BASE 1