Okeke, Jonathan Chimakonam (PDF)
	Quantity in Basket: None Code: 2339514PDF Price: $24.00
	Quantity:
Okeke, Jonathan Chimakonam; ISBN 1612339514; Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First Order Logic (pdf file)