Featured
Compare webshops (1)
Pages: 240, Hardcover, OUP Oxford
AuthorHouse
Proof In Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First Order Logic
Cambridge University Press
Mathematical Logic and Computation
De Gruyter
Ways of Proof Theory (Ontos Mathematical Logic Book 2)
College Publications
Set Theory (Studies in Logic: Mathematical Logic and Foundations)
Back to top