Consistent extensions of pure combinatory logic

From MaRDI portal

Publication:2563158

Jump to:navigation, search

zbMath0269.02006MaRDI QIDQ2563158

A. S. Kuzichev

Publication date: 1973

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Paraconsistent intelligent systems of computer logics

This page was built for publication: Consistent extensions of pure combinatory logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2563158&oldid=15311771"