Definition:Tree (Graph Theory)/Finite
< Definition:Tree (Graph Theory)(Redirected from Definition:Finite Tree)Jump to navigation Jump to search
A tree is finite if and only if it contains a finite number of nodes.
This definition also applies to rooted trees.
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus