Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Amazon.co.uk: Troelstra/Schwichtenberg:
商品説明・詳細
送料・お届け
商品情報
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Amazon.co.uk: Troelstra/Schwichtenberg: ,Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: Amazon.com: Books,Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Second-order logic (Chapter 11) - Basic Proof Theory,Financial Modeling: With a Section on Visual Basics for Applications (The MIT Press): Amazon.co.uk: Benninga, Simon: 9780262027281: Books,