scientific article; zbMATH DE number 5145992

MaRDI QIDQ3435233zbMATHFDO

Authors Tarek Sayed Ahmed

Publication date 25 April 2007

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Consistency and independence results (03E35) Cylindric and polyadic algebras; relation algebras (03G15)

Cited in

(1)

• A basis result in combinatory logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3435233)