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
scientific article; zbMATH DE number 3613009 - MaRDI portal

scientific article; zbMATH DE number 3613009

From MaRDI portal

Publication:4177541

Jump to:navigation, search

zbMath0395.03013MaRDI QIDQ4177541

A. S. Kuzichev

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Completeness Proof Theory Lambda Calculus Combinatory Logic Cut-Elemination First-Order Logic Formal Arithmetic Lambda Conversion

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:

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