Michał Stronkowski

, room 507 GMiNI

This page is intended as shortcut for me to interesting notes.

- "An overview of modern universal algebra" by Ross Willard
- Burris' & Sankappanavar's book on AU
- Jaroslav Jezek's book on AU
- Jaroslav Jezek's book "Univerzalni algebra a teorie modelu"
- Bergman's book on AU
- "Algebras, Lattices and Varieties Vol. II" by Freese, McKenzie, McNulty and Taylor
- TCT book of David Hobby and Ralph McKenzie
- TCT notes by M. Clasen Matt Valeriote
- TCT Budapest notes
- TCT for mortals by Miklós Maróti
- "Commutator Theory for Congruence Modular Varieties" byRalph Freese and Ralph McKenzie
- "The Shape of Congruence Lattices" by Keith Kearnes and Emil Kiss
- "Computational Recognition of Properties of Finite Algebras" by Ralph McKenzie, George McNulty and Ross Willard
- Finite basis diplomka of Anša Lauschmannová
- "A course on finite basis problems" by Petar Marković
- "Galois connections for operations and relations" by Reinhard Pöschel
- Constraint Satisfaction Problem Lecture Notes by Saša Kazda and Miklós Máróti
- Notes on Lattice Theory by JB Nation
- E. Wagner's AU course for Computer Scientists and notes on Birkhoff's Theorem
- Michał Walicki notes on logic and UA

- "Intuitionistic Logic" Lecture Notes by Nick Bezhanishvili and Dick de Jongh
- "A General Algebraic Semantics for Sentential Logics" of Font and Jansana
- "Universal Algebraic Logic" by Andrka Nemeti and Sain
- "Algebraizable Logics" by Wim Blok and Don Pigozzi
- "Lectures on Propositional Calculi" by Ryszard Wójcicki
- "Introduction to the Algebra of Sentences by Silvio Ghilardi"
- Pillays notes on MT
- Oostens notes on MT
- Weiss' & D'Mellos notes on MT
- Lecture Notes on Logic by S. Simpson
- book of Achim Blumensath
- book of Vitezslav Svejdar
- "Complete proofs of Gödel's Incompleteness Theorems" by Byunghan Kim
- "A Decision Method for Elementary Algebra and Geometry" by A. Tarski
- A Problem Course in Mathematical Logic by Stefan Bilaniuk

- "The Theory of Relational Databases" by David Maier
- "Foundations of Databases" by S. Abiteboul, R. Hull, and V. Vianu

- "A Course In Commutative Algebra" by Robert Ash
- "Algebra: Abstract and Concrete" by Frederick M. Goodman

Michał Stronkowski's Web Page