Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111:
商品説明・詳細
送料・お届け
商品情報
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: ,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: Amazon.com: Books,Measure Theory - (birkhäuser Advanced Texts Basler Lehrbücher) 2nd Edition By Donald L Cohn (hardcover) : Target,The Theory Toolbox: Critical Concepts for the Humanities, Arts, & Social Sciences (Culture and Politics Series),