2004 Annual Meeting of the Association for Symbolic Logic (Q3370628): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness and reducibility
@@ Property / cites work: Randomness and reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+TPS: A theorem-proving system for classical type theory
+Normal rank
@@ Property / cites work @@
+Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
+Normal rank
@@ Property / cites work @@
+Simple and immune relations on countable structures
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Weakly computable real numbers
@@ Property / cites work: Weakly computable real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Refined program extraction from classical proofs
@@ Property / cites work: Refined program extraction from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511553
@@ Property / cites work: Q4511553 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1079898600003553
+Normal rank
@@ Property / OpenAlex ID @@
+W2014121905
@@ Property / OpenAlex ID: W2014121905 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3370628