History and philosophy of constructive type theory
- ISBN
- 9789048154036
History and philosophy of constructive type theory, Giovanni Sommaruga tarafından yazılmış bir type theory, mathematics, philosophy book.
Giovanni Sommaruga tarafından yazılan History and philosophy of constructive type theory kitabını keşfedin, type theory.
Yazar Hakkında
History and philosophy of constructive type theory kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da Giovanni Sommaruga adlı yazarın diğer kitaplarını keşfedin. →Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
History and philosophy of constructive type theory hangi türde?+
History and philosophy of constructive type theory bir Type theory, Mathematics, philosophy kitabıdır.
History and philosophy of constructive type theory kitabını kim yazdı?+
History and philosophy of constructive type theory, Giovanni Sommaruga tarafından yazılmıştır.