Revision history of "Abstract algebraic logic"

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 02:12, 15 February 2024‎ Artemisfowl3rd talk contribs‎ m 77,413 bytes -420‎ tex done (missing symbol \Dashv needed)
curprev 17:44, 1 July 2020‎ Maximilian Janisch talk contribs‎ m 77,833 bytes -3‎ Automatically changed introduction
curprev 17:41, 1 July 2020‎ Maximilian Janisch talk contribs‎ m 77,836 bytes +53‎ Automatically changed introduction
curprev 15:30, 1 July 2020‎ Maximilian Janisch talk contribs‎ m 77,783 bytes -74,008‎ AUTOMATIC EDIT (latexlist): Replaced 791 formulas out of 802 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.
curprev 21:44, 30 December 2017‎ Richard Pinch talk contribs‎ m 151,791 bytes +27,204‎ link
curprev 12:09, 3 March 2012‎ Ulf Rehmann talk contribs‎ m 124,587 bytes -1,452‎ →‎References: mr,zbl added
curprev 11:00, 21 February 2012‎ Ulf Rehmann talk contribs‎ m 126,039 bytes +12‎ →‎References: typo
curprev 13:13, 20 February 2012‎ Ulf Rehmann talk contribs‎ m 126,027 bytes -940‎ refs ordered (unicode letters verified)
curprev 17:29, 7 February 2011‎ 127.0.0.1 talk‎ 126,967 bytes +126,967‎ Importing text file

How to Cite This Entry:
Abstract algebraic logic. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abstract_algebraic_logic&oldid=55493

This article was adapted from an original article by D. Pigozzi (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article

Navigation

Tools

Namespaces

Variants

Views

Actions

Revision history of "Abstract algebraic logic"