Model Theory for the Higher Order Predicate Calculus (Q3260562): Difference between revisions

@@ Property / cites work @@
+The completeness of the first-order functional calculus
+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 @@
+Some Interconnections Between Modern Algebra and Mathematical Logic
+Normal rank
@@ Property / cites work @@
+Q3227562
@@ Property / cites work: Q3227562 / rank @@
+Normal rank
@@ Property / cites work @@
+On absolute properties of relations
@@ Property / cites work: On absolute properties of relations / rank @@
+Normal rank
@@ Property / cites work @@
+On the metamathematics of algebra
@@ Property / cites work: On the metamathematics of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a problem of L. Henkin
@@ Property / cites work: Note on a problem of L. Henkin / rank @@
+Normal rank