scientific article; zbMATH DE number 1841845
From MaRDI portal
Publication:4783333
zbMath0999.03039MaRDI QIDQ4783333
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420585
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
This page was built for publication:
