Proofs and types
- ISBN
- 9780521371810
Proofs and types, Jean-Yves Girard tarafından yazılmış bir computer programming, symbolic and mathematical logic book.
Jean-Yves Girard tarafından yazılan Proofs and types kitabını keşfedin, computer programming.
Yazar Hakkında
Proofs and types kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da Jean-Yves Girard 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
Proofs and types hangi türde?+
Proofs and types bir Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus kitabıdır.
Proofs and types kitabını kim yazdı?+
Proofs and types, Jean-Yves Girard tarafından yazılmıştır.