A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic (Q5596744): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+Q5822068
@@ Property / cites work: Q5822068 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5596744