A geometric interpretation of logical formulae (Q2652283): Difference between revisions

@@ Property / cites work @@
+Les opérations logiques et les ensembles projectifs
+Normal rank
@@ Property / cites work @@
+Proofs of non-deducibility in intuitionistic functional calculus
+Normal rank
@@ Property / cites work @@
+Algebraic treatment of the notion of satisfiability
+Normal rank
@@ Property / cites work @@
+A proof of the completeness theorem of Grödel
@@ Property / cites work: A proof of the completeness theorem of Grödel / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank