Pembuktian teorema matematika dengan menggunakan logika simbolik : OPAC USU Library

Pembuktian teorema matematika dengan menggunakan logika simbolik

511.3 Mat p

Mataniari, R. Johannes P.

Judul :	Pembuktian teorema matematika dengan menggunakan logika simbolik
No. Panggil :	511.3 Mat p
Penerbit :	FMIPA-USU
Edisi :
Tahun :	1999
ISBN :
Deskripsi :	ii, 40 p. : tab. ; 28 cm.
No. Klasifikasi :	511.3
Golongan :	Ilmu Pengetahuan Murni
Subyek :	LOGIC, SYMBOLIC AND MATHEMAICAL
Bahasa :	IND
Jenis :	Laporan Penelitian
Catatan Umum :
Jumlah Eksemplar :	1
Terpinjam :	0
Tersedia :	1

Barcode	Lokasi	Status	Tipe*	Tanggal Pinjam	Tanggal Harus Kembali
D9902458	Perpustakaan Universitas	Ada	STD

Tipe* :
STD = Koleksi standar berada di Lt. 2, Lt. 3 atau Lt. 4 Perpustakaan USU atau di Perpustakaan Cabang.
KPS = Koleksi pinjam singkat berada di bagian KPS (Koleksi Pinjam Singkat) Lt. 1 Perpustakaan USU.