Reasoning in Simple Type Theory Studies in Logic: Mathematical Logic and Foundations Editat de Christoph Benzmueller et al. 30 noi 2008 Paperback Preț: 267.18 lei 6-8 săpt.