The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

Richard Routley, Dialectical Logic, Semantics and Metamathematics, Erkenntnis (1975-), Vol. 14, No. 3 (Nov., 1979), pp. 301-331 ...

ICT is changing the landscape of manufacturing with pervasive automation and computer support in design and production processes. Our project aims to leverage techniques from software ...

ICT is changing the landscape of manufacturing with pervasive automation and computer support in design and production processes. Our project aims to leverage techniques from software ...