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 3613005 - MaRDI portal

scientific article; zbMATH DE number 3613005

From MaRDI portal

Publication:4177537

Jump to:navigation, search

zbMath0395.03009MaRDI QIDQ4177537

A. S. Kuzichev

Publication date: 1977

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

zbMATH Keywords

Proof Theory Lambda Calculus Combinatory Logic First-Order Logic Cut-Elimination 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:4177537&oldid=18006703"