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
Formal arithmetic in combinatorily complete systems. I - MaRDI portal

Formal arithmetic in combinatorily complete systems. I

From MaRDI portal

Publication:1260022

Jump to:navigation, search

zbMath0413.03008MaRDI QIDQ1260022

A. S. Kuzichev

Publication date: 1978

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

zbMATH Keywords

lambda calculus formal arithmetic in combinatorily complete systems

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99) Connections of number theory and logic (11U99)

This page was built for publication: Formal arithmetic in combinatorily complete systems. I

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