Full Lambek Calculus in natural deduction

• Autores: Ernst Zimmermann
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 1, 2010, págs. 85-88
• Idioma: inglés
• Texto completo no disponible (Saber más ...)