×

Found 5 Documents (Results 1–5)

Elementary logic with applications. A procedural perspective for computer scientists. (English) Zbl 1396.03001

Studies in Logic (London) 65. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-225-1). xiv, 347 p. (2016).
PDFBibTeX XMLCite

Trends in belief revision and argumentation dynamics. Based on the workshop on belief revision and argumentation, Funchal, Madeira, January 2012. (English) Zbl 1280.03006

Studies in Logic (London) 48. Logic and Cognitive Systems. London: College Publications (ISBN 978-1-84890-065-3/pbk). x, 304 p. (2013).
PDFBibTeX XMLCite

Second-order quantifier elimination. Foundations, computational aspects and applications. (English) Zbl 1165.03011

Studies in Logic (London) 12. London: College Publications (ISBN 978-1-904987-56-7/pbk). viii, 308 p. (2008).
Reviewer: Nail Zamov (Kazan)
MSC:  03C10 03-02 03B15 03B35 03B45 03B70
PDFBibTeX XMLCite

Filter Results by …

Volume

Year of Publication

Main Field