An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs (2021, OUP Oxford) Paolo Mancosu, Sergio Galvan, Richard Zach

Rp154.500

Kondisi: Baru
Min. Pemesanan: 1 Buah
Etalase: Semua Etalase

Spesifikasi An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs (2021, OUP Oxford) Paolo Mancosu, Sergio Galvan, Richard Zach

* Ukuran Buku A4
* Jilid Hardcover Berwarna
* Kertas Bookpaper, Isi Hitamputih
* Bahasa Inggris

WARNING!!
WAJIB MEMBUAT VIDEO UNBOXING SAAT MEMBUKA PAKET!

Ada masalah dengan produk ini?

ULASAN PEMBELI

Belum ada ulasan untuk produk ini

Beli produk ini dan jadilah yang pertama memberikan ulasan