Title of article

Bounded Quantification Is Undecidable

Author/Authors

Pierce B. C.، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 1994

Pages

35

From page

131

To page

165

Journal title

Information and Computation

Serial Year

1994

Journal title

Information and Computation

Record number

261407