Some characterizations of the first-order functional calculus (Q2626397): Difference between revisions

@@ Property / cites work @@
+Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten
+Normal rank
@@ Property / cites work @@
+On definable sets of positive integers
@@ Property / cites work: On definable sets of positive integers / rank @@
+Normal rank
@@ Property / cites work @@
+On the first-order functional calculus and the truncation of models
+Normal rank
@@ Property / cites work @@
+A note to my paper: On characterizations of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+On Theses of the First‐Order Functional Calculus
+Normal rank
@@ Property / cites work @@
+On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus
+Normal rank
@@ Property / cites work @@
+About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi
+Normal rank
@@ Property / cites work @@
+A note about connection of the first-order functional calculus with many valued propositional calculi
+Normal rank