The lamda calculus : its syntax and semantic
H. Pieter BARENDREGT

Lokasi Perpustakaan

Tel-U Bandung - Gedung Manterawu Lantai 5
Jl. Telekomunikasi - Ters. Buah Batu
Bandung 40257 Indonesia
081280000110
+6222 756 5929
library@telkomuniversity.ac.id; bebas pustaka : bebaspustaka@telkomuniversity.ac.id

Waktu operasional

Tel-U Bandung - Kampus Geger Kalong
Jl. Geger Kalong No. 1
Bandung Indonesia
081280000110
+6222 756 5929
library@telkomuniversity.ac.id; bebas pustaka : bebaspustaka@telkomuniversity.ac.id

Waktu operasional

Tel-U Jakarta - Kampus A
Jalan Daan Mogot KM.11, RT.1/RW.4, Kedaung Kali Angke, Cengkareng, RT.1/RW.4, Kedaung Kali Angke, Kecamatan Cengkareng, Kota Jakarta Barat, DKI Jakarta
(021)-545-1697
(021)-545-1697
libraryjkt@telkomuniversity.ac.id

Waktu operasional

Tel-U Jakarta - Kampus B
Jalan Halimun Raya Nomor 2A, RT 010, RW 006, Kelurahan Guntur, Kecamatan Setiabudi, Kota Jakarta Selatan, Provinsi DKI Jakarta
(021)-545-1697
(021)-545-1697
libraryjkt@telkomuniversity.ac.id

Waktu operasional

Tel-U Jakarta - Kampus C
Jalan Minangkabau Barat No.50, RT.1/RW.1, Ps. Manggis, Kecamatan Setiabudi, Kota Jakarta Selatan, DKI Jakarta 12970
(021)-545-1697
(021)-545-1697
libraryjkt@telkomuniversity.ac.id

Waktu operasional

Tel-U Purwokerto

Gedung Rektorat Lt.1 Jl. D.I. Panjaitan No. 128 Purwokerto
0813-9015-1393
library-pwt@telkomuniversity.ac.id

Waktu operasional

Tel-U Surabaya
Jl. Ketintang No.156, Ketintang, Kec. Gayungan, Surabaya, Jawa Timur 60231
0811-3278-005

Waktu operasional