Sowiecki kat Węgier ’56 – Iwan Sierow

نویسندگان

چکیده

Dzieje rewolucji węgierskiej 1956 r. są znane. Autor niniejszego artykułu spogląda jednak na te wydarzenia oczami drugiej strony. W tym celu oparł się nowych źródłach, mianowicie niedawno odkrytych i opublikowanych pamiętnikach generała NKWD Iwana Sierowa, okrutnego pacyfikatora Sierow był szefem najpierw „cywilnego” Komitetu Bezpieczeństwa Państwowego (KGB), a później wojskowego Głównego Zarządu Wywiadu (GRU).
 Od początku rządów komunistycznych Węgrzech ich cechą charakterystyczną intensywny terror. Po śmierci Stalina pojawiły oznaki kryzysu totalitarnego systemu. Nasiliła walka o władzę wśród komunistycznej elity. prezentuje także typowo sowiecką konstytucję węgierską z 1949 Wszelkie decyzje zapadały w Moskwie. wszystkimi szczegółami krwawej pacyfikacji kierował szef KGB – Sierow. Zachodnie państwa demokratyczne dotrzymały umowy ze Stalinem podziale Europy. Węgry znalazły pod panowaniem sowieckim. Nikt Węgrom nie pomógł: układy Jałty 1945 zostały dotrzymane.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automata for KAT Expressions

Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...

متن کامل

KAT and PHL in Coq

In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...

متن کامل

Feasibly Reducing KAT Equations to KA Equations

Kleene algebra (KA) is the algebra of regular events. Familiar examples of Kleene algebras include regular sets, relational algebras, and trace algebras. A Kleene algebra with tests (KAT) is a Kleene algebra with an embedded Boolean subalgebra. The addition of tests allows one to encode while programs as KAT terms, thus the equational theory of KAT can express (propositional) program equivalenc...

متن کامل

Glushkov and Equation Automata for KAT Expressions

Kleene algebra with tests (KAT) is an equational system that extends Kleene algebra, the algebra of regular expressions, and that is specially suited to capture and verify properties of simple imperative programs. In this paper we study two constructions of automata from KAT expressions: the Glushkov automaton (Apos), and a new construction based on the notion of prebase (equation automata, Aeq...

متن کامل

KAT: an Annotation Tool for STEM Documents

Considering a constantly growing body of mathematical knowledge it becomes more and more difficult for individuals to take full advantage of all information available. To semantify documents, we need to be able to create annotations efficiently and conveniently – marking definitions or declarations as well as usages of concepts – on a large corpus of documents. Eventually this can be achieved a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Studia Iuridica Toruniensia

سال: 2022

ISSN: ['1689-5258', '2391-7873']

DOI: https://doi.org/10.12775/sit.2022.014