Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: Amazon.com: Books
商品説明・詳細
送料・お届け
商品情報
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: Amazon.com: Books,Basic proof theory : Troelstra, A. S. (Anne Sjerp) : Free Download, Borrow, and Streaming : Internet Archive,Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Theory of Knowledge for the IB Diploma: Skills for Success Second Edition: Hodder Education Group: Sprague, John: 9781510474956: Amazon.com: Books