APA Style
Indra, Steven. (2006).
A Propositional Temporal Logic For Binary Tree .
MANADO:
DLSU Manado.
Chicago Style
Indra, Steven.
A Propositional Temporal Logic For Binary Tree.
MANADO:
DLSU Manado,
2006.
Teks Book.
MLA Style
Indra, Steven.
A Propositional Temporal Logic For Binary Tree.
MANADO:
DLSU Manado,
2006.
Teks Book.
Turabian Style
Indra, Steven.
A Propositional Temporal Logic For Binary Tree.
MANADO:
DLSU Manado,
2006.
Teks Book.