Author: Schwichtenberg H.
Publisher: Springer Publishing Company
ISSN: 0039-3215
Source: Studia Logica, Vol.62, Iss.2, 1999-03, pp. : 283-289
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types
By Matthes R.
Synthese, Vol. 133, Iss. 1-2, 2002-10 ,pp. :