journal of automated reasoning (31)
the journal of symbolic logic (13)
archive for mathematical logic (10)
journal of symbolic logic (7)
annals of mathematical logic (5)
proceedings of the american mathematical society (5)
zeitschrift fur mathematische logik und grundlagen der mathematik (5)
acm international conference proceeding series (4)
annals of pure and applied logic (4)
notre dame journal of formal logic (4)
ieee transactions on software engineering (3)
journal of applied logic (3)
power (3)
discrete mathematics (2)
interactive theorem proving (2)
international journal on software tools for technology transfer (2)
l'academie polonaise des sciences. bulletin. serie des sciences mathematiques (2)
logic year 1979--80 (proc. seminars and conf. math. logic, univ. connecticut, storrs, conn., 1979/80) (2)
mathematical logic quarterly (2)
philosophical transactions of the royal society a: mathematical, physical & engineering sciences (2)
polska akademia nauk. fundamenta mathematicae (2)
proceedings 14th international workshop on the acl2 theorem prover and its applications (2)
proceedings of the eighth international workshop: the acl2 theorem prover & its applications (2)
proceedings of the sixth international workshop: the acl2 theorem prover & its applications (2)
theorem proving in higher order logics (2)
{\it begriffsschrift}---jena frege conference (friedrich-schiller-univ., jena, 1979) (german) (1)
2012 formal methods in computer-aided design (fmcad) (1)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (1)
2012 ieee 62nd electronic components & technology conference (1)
2012 ieee 62nd electronic components and technology conference, electronic components and technology conference (ectc), 2012 ieee 62nd (1)
2014 formal methods in computer-aided design (fmcad) (1)
2014 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2014 (1)
2018 24th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2018 24th ieee international symposium on, async (1)
2019 25th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2019 25th ieee international symposium on, async (1)
a companion to philosophical logic (1)
artificial and mathematical theory of computation (1)
automated deduction - cade-15 (1)
central states archaeological journal (1)
dac: annual acm/ieee design automation conference (1)
design & verification of microprocessor systems for high-assurance applications (1)
interactive theorem proving (9783319089690) (1)
interactive theorem proving (9783642396335) (1)
international journal on software tools for technology transfer (sttt) (1)
journal of functional programming (1)
philosophical transactions of the royal society a-mathematical physical and engineering sciences (1)
philosophical transactions: mathematical, physical and engineering sciences (1)
proceedings of the 34th annual design automation conference (1)
theorem proving in higher order logics (9783540283720) (1)
theorem proving in higher order logics (9783540710653) (1)
theorem proving in higher order logics (9783540745907) (1)