Title of article

Forcing in stable models of untyped λ-calculus

Author/Authors

Rainer Kerth، نويسنده ,

Issue Information

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

Pages

13

From page

59

To page

71

Journal title

Indagationes Mathematicae

Serial Year

1999

Journal title

Indagationes Mathematicae

Record number

290142