Simple Type Theory
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
preigu.de
Gesponsert
Medimops DE
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Medimops DE
21-04-2026 16:44:41
SpringerLink DE 
