scientific article; zbMATH DE number 1231636

zbMath0917.03015MaRDI QIDQ4222960

Horst Reichel

Publication date: 6 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicpropositional logicsyntactic categorytype constructorscategory of typed termsdomain and codomain of fundamental operationsfirst-order signature

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30)

This page was built for publication: