scientific article; zbMATH DE number 3504962

From MaRDI portal

Revision as of 06:05, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4085718

Jump to:navigation, search

zbMath0323.02057MaRDI QIDQ4085718

Hendrik Pieter Barendregt

Publication date: 1976

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Thue and Post systems, etc. (03D03) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)

Related Items (2)

Reductions of Residuals are Finite ⋮ Standard and Normal Reductions

This page was built for publication:

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