#### Filter Results:

#### Publication Year

1990

1994

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

Dzhaparidze, G., The logic of arithmetical hierarchy, Formulas of the propositional modal language with the unary modal operators 0, as schemata of sentences of arithmetic (PA), where q A is interpreted as (a formalization of) " A is PA-provable " , X,,A as " A is PA-equivalent to a &-sentence " and &,A as " A is PA-equivalent to a Boolean combination of… (More)

- ‹
- 1
- ›