Simple Type Theory: A Practical Logic for Expressing and Reasoning About Math…
Buku teks ini adalah pengantar teori sederhana yang memperluas logika orde pertama. Ilustrasi buku ini menggunakan Alonzo, sangat cocok untuk mengekspresikan penalaran tentang ide-ide matematika. P…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9783031211126
- Collation
- xiv, 295 p.
- Series Title
- -
- Call Number
- 004.0151 FAR s
Search Result
Found 1 from your keywords: Author : "Farmer, William M."
Query took 0.00105 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography