Natural Deduction, Inference, and Consistency (Q5518350): Difference between revisions

@@ label / en / label / en @@
+Natural Deduction, Inference, and Consistency
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2034655
@@ Property / full work available at URL: https://doi.org/10.2307/2034655 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4235176379
@@ Property / OpenAlex ID: W4235176379 / rank @@
+Normal rank
@@ Property / title @@
+Natural Deduction, Inference, and Consistency (English)
+Normal rank
@@ Property / cites work @@
+Q5822068
@@ Property / cites work: Q5822068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732640
@@ Property / cites work: Q5732640 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified foundations for mathematical logic
@@ Property / cites work: Simplified foundations for mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5518350