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
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=290142
