Luis M. Augusto profile picture

Luis M. Augusto

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Who's afraid of idealism?
Languages, Machines, and Classical Computation
Who's Afraid of Idealism?
Computational Logic Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Many-Valued Logics A Mathematical and Computational Introduction. Second Edition
Formal Logic Classical Problems and Proofs
Logical Consequences Theory and Applications: An Introduction. 2nd Edition