An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Applied Logic Series, nr. 27 Autor Peter B. Andrews 9 dec 2010 Paperback Preț: 579.74 lei 682.04 lei 6-8 săpt. -15%