Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Some models of combinatory logic - MaRDI portal

Some models of combinatory logic

From MaRDI portal

Publication:1259579

Jump to:navigation, search

DOI10.1007/BF01147625zbMath0411.03012MaRDI QIDQ1259579

Dimiter Skordev

Publication date: 1976

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

models of weak cobinatory logic

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Combinatory logic and lambda calculus (03B40)

Related Items (2)

On the recursion theorem in iterative operative spaces ⋮ Unnamed Item

Cites Work

Combinatory logic. With two sections by William Craig.

This page was built for publication: Some models of combinatory logic

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