Tag: T. Streicher

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) 1st Edition by T. Streicher (PDF)

Number Systems February 20, 2023

Ebook Info Published: 2012 Number of pages: 298 pages Format: PDF File Size: 7.90 MB Authors: T....

Read more

Advertisement

spot_img