Latest additionsAbstractIntensional First-Order Logic with TypesArticle Lappin, Shalom and Fox, C and Pollard, C (2002) Intensional First-Order Logic with Types.
Files available for downloadg ![]() |
Latest additionsAbstractIntensional First-Order Logic with TypesArticle Lappin, Shalom and Fox, C and Pollard, C (2002) Intensional First-Order Logic with Types.
Files available for downloadg ![]() |