Information for "Publication:3987173"

From MaRDI portal

Publication:3987173

Basic information

Display titleForty years of ``unnatural natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi
Default sort key3987173
Page length (in bytes)15
Namespace ID4206
NamespacePublication
Page ID8506761
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page0
Counted as a content pageYes
MaRDI portal item IDQ3987173
Central descriptionscientific article; zbMATH DE number 30927

Page protection

EditAllow only users with "overwriteprofilepages" permission (infinite)
MoveAllow only users with "overwriteprofilepages" permission (infinite)
View the protection log for this page.

Edit history

Page creatorImport240129110155 (talk | contribs)
Date of page creation00:01, 30 January 2024
Latest editorImport240129110155 (talk | contribs)
Date of latest edit00:01, 30 January 2024
Total number of edits1
Recent number of edits (within past 90 days)0
Recent number of distinct authors0

Page properties

Transcluded templates (16)

Pages included on this page:

MaRDI portal entities used in this page