Reminiscences of Kurt Schütte (Q5013897)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7438590

Language	Label	Description	Also known as
English	Reminiscences of Kurt Schütte	scientific article; zbMATH DE number 7438590

Statements

scholarly article

0 references

Reminiscences of Kurt Schütte (English)

0 references

0 references

The Legacy of Kurt Schütte

0 references

publication date

3 December 2021

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-49424-7_6

0 references

0 references

0 references

Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

0 references

Syntactical and semantical properties of simple type theory

0 references

Schlussweisen-Kalküle der Prädikatenlogik

0 references

Systems of predicative analysis

0 references

0 references

An approach to a systematic theorem proving procedure in first-order logic

0 references

Schnittelimination in einem Teilsystem der einfachen Typenlogik

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-030-49424-7_6

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5013897

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5013897&oldid=36745594"