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

@@ label / en / label / en @@
+Model Theory for the Higher Order Predicate Calculus
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1993168
@@ Property / full work available at URL: https://doi.org/10.2307/1993168 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4255993225
@@ Property / OpenAlex ID: W4255993225 / rank @@
+Normal rank
@@ Property / title @@
+Model Theory for the Higher Order Predicate Calculus (English)
+Normal rank
@@ 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