Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press
商品説明・詳細
送料・お届け
商品情報
Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Basic proof theory : Troelstra, A. S. (Anne Sjerp) : Free Download, Borrow, and Streaming : Internet Archive,Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) 2nd edition by Troelstra, A. S., Schwichtenberg, H. (2000) Paperback: Amazon.co.uk: Books,Theory of Knowledge for the IB Diploma: Skills for Success Second Edition,Measure Theory: Second Edition | SpringerLink