Author： Thielscher M.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.67, Iss.3, 2001-04, pp. : 315-331
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
The Epsilon Calculus and Herbrand Complexity
Studia Logica, Vol. 82, Iss. 1, 2006-02 ,pp. :
Access to resources
Recommend
On Finite Models of the Lambek Calculus
Studia Logica, Vol. 80, Iss. 1, 2005-06 ,pp. :
Husserl's Theory of Language as Calculus Ratiocinator
Synthese, Vol. 112, Iss. 3, 1997-09 ,pp. :
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information, Vol. 19, Iss. 4, 2010-10 ,pp. :
Contribution of Polish Logicians to Predicate Calculus
Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 98, Iss. 1, 2011-01 ,pp. :