A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn (Department of Mathematics, Florida Southern College) Hedman
Out of stock
Format: Book (Paperback / softback)
Mathematical Logic
Ian (Queen Mary, University of London) Chiswell
Out of stock
Format: Book (Paperback / softback)
Proof and Disproof in Formal Logic
Richard (School of Computing Science, Middlesex University) Bornat
Out of stock
Format: Book (Hardback)
Proof and Disproof in Formal Logic : An Introduction for programmers
Richard (School of Computing Science, Middlesex University) Bornat
Out of stock
Format: Book (Paperback / softback)
Mathematical Logic
Ian (Queen Mary, University of London) Chiswell
Out of stock
Format: Book (Hardback)