Katai, O. (1980). Completeness and the expressive power of nexttime temporal logical system by semantic tableau method.
Chicago-Zitierstil (17. Ausg.)Katai, Osamu. Completeness and the Expressive Power of Nexttime Temporal Logical System by Semantic Tableau Method. LeChesnay, 1980.
MLA-Zitierstil (9. Ausg.)Katai, Osamu. Completeness and the Expressive Power of Nexttime Temporal Logical System by Semantic Tableau Method. 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.