Reading list: buku
logic