scientific article; zbMATH DE number 3271491
From MaRDI portal
Publication:5556414
zbMath0169.30801MaRDI QIDQ5556414
No author found.
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem ⋮ Prädikatenlogik mit partiell definierten Funktionen ⋮ Gentzen reduction revisited ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Finite Words ⋮ Consistency of Heyting arithmetic in natural deduction ⋮ A Characterisation of Definable NP Search Problems in Peano Arithmetic ⋮ Simplification of Gentzen's reductions in classical arithmetic ⋮ An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models ⋮ Prädikatenlogik mit partiell definierten Funktionen II
This page was built for publication:
