scientific article; zbMATH DE number 5145992

zbMATH Open1117.03350MaRDI QIDQ3435233FDOQ3435233

Tarek Sayed Ahmed

Publication date: 25 April 2007

Title of this publication is not available (Why is that?)

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)