2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650300): Difference between revisions

@@ Property / cites work @@
+Q4001483
@@ Property / cites work: Q4001483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential method in quantum logic
@@ Property / cites work: Sequential method in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic at work. Essays dedicated to the memory of Helena Rasiowa
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i>
+Normal rank
@@ Property / cites work @@
+Did Tarski commit “Tarski's fallacy”?
@@ Property / cites work: Did Tarski commit “Tarski's fallacy”? / rank @@
+Normal rank