Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Koleksi

Katalog

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
24.21.794 - William M. Farmer

Barcode

24.21.794-1

Kondisi

Tersedia

Tanggal masuk

30 October 2024

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5