- Rules and Refutation Rules for the Logic of Finite n-ary Trees
Description
- Title: Rules and Refutation Rules for the Logic of Finite n-ary Trees
- Journal title: Journal of Logic and Computation
- Creator: Skura, Tomasz
- Pages: s. 429-435
- Description: Abstr.
- Language of abstract: eng
- Date issued: 2004
- Type: Tekst
- Language: eng
- Detailed object type: art
- Object type: Artykuł
- Location: Vol. 14, nr 3 (2004)