Recommendations
Cites work
- Completeness in the theory of types
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- scientific article; zbMATH DE number 47306 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 1195916 (Why is no real title available?)
- scientific article; zbMATH DE number 1550339 (Why is no real title available?)
- scientific article; zbMATH DE number 1550340 (Why is no real title available?)
- scientific article; zbMATH DE number 1550341 (Why is no real title available?)
- scientific article; zbMATH DE number 1550347 (Why is no real title available?)
- scientific article; zbMATH DE number 3280046 (Why is no real title available?)
- scientific article; zbMATH DE number 3291106 (Why is no real title available?)
- scientific article; zbMATH DE number 3307531 (Why is no real title available?)
- scientific article; zbMATH DE number 3051296 (Why is no real title available?)
- scientific article; zbMATH DE number 3057869 (Why is no real title available?)
- The completeness of the first-order functional calculus
Cited in
(6)
This page was built for publication: Skolem redux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1860974)