Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
«“The book is a good scientific book, and it could even be used as a textbook; that being said, it will work best at colleges and universities where there exists a strong research and education community specializing in simple type theory and Alonzo Church’s approach.” (Bálint Molnár, Computing Reviews, September 19, 2023)»
1360,-
Innbundet
Sendes innen 21 dager
Logg inn for å se din bonus
Detaljer
- Forlag
- Birkhauser Verlag AG
- Innbinding
- Innbundet
- Språk
- Engelsk
- Sider
- 295
- ISBN
- 9783031211119
- Utgivelsesår
- 2023
- Format
- 24 x 16 cm
Anmeldelser
«“The book is a good scientific book, and it could even be used as a textbook; that being said, it will work best at colleges and universities where there exists a strong research and education community specializing in simple type theory and Alonzo Church’s approach.” (Bálint Molnár, Computing Reviews, September 19, 2023)»