#4: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard, Yves Lafont, Paul Taylor 2 used & new from $237.80 (Ranking is updated hourly. Visit the Most Wished For in Research list for authoritative information on this product's current rank.)
Categories: 1, 11, Ads, All, books, BRI, Computer, GE, hspa, internet, IT, LEC, MB, PDA, review, rom, rss, science, Telecom, update, WWW Tags: BRI, cambridge-tracts, computer-science, girard, hspa, LEC, product, research, science, taylor, theoretical, tracts, types, update
#10: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard, Yves Lafont, Paul Taylor 2 used & new from $237.80 (Ranking is updated hourly. Visit the Bestsellers in Research list for authoritative information on this product's current rank.)
Categories: 1, 11, Ads, All, books, BRI, Computer, GE, hspa, internet, IT, LEC, MB, PDA, review, rom, rss, science, Telecom, update, WWW Tags: Ads, BRI, cambridge-tracts, computer-science, girard, hspa, internet, lafont, LEC, product, research, science, taylor, WWW
#6: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard, Yves Lafont, Paul Taylor 2 used & new from $237.80 (Ranking is updated hourly. Visit the Most Wished For in Research list for authoritative information on this product's current rank.)
Categories: 1, 11, Ads, All, books, BRI, Computer, GE, hspa, internet, IT, LEC, MB, PDA, rom, rss, science, Telecom, update, WWW Tags: cambridge-tracts, computer-science, girard, internet, PDA, product, science, Telecom, update, wished, WWW
#7: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard, Yves Lafont, Paul Taylor 2 used & new from $237.80 (Ranking is updated hourly. Visit the Most Wished For in Research list for authoritative information on this product's current rank.)
Categories: 1, 11, Ads, All, books, Computer, GE, hspa, internet, IT, LEC, MB, PDA, rom, rss, science, Telecom, update, WWW Tags: Ads, cambridge-tracts, girard, internet, lafont, LEC, PDA, product, science, theoretical, types, wished, WWW
#3: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard, Yves Lafont, Paul Taylor 1 used & new from $237.80 (Ranking is updated hourly. Visit the Most Wished For in Research list for authoritative information on this product's current rank.)






