Ifcolog Journal of Logics and their Applications Volume 3, number 4: Proof, Truth, Computation - Paperback

by Hannes Leitgeb (Guest Editor), Iosef Petrakis (Guest Editor), Peter Schuster (Guest Editor)

The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net).