Logică matematică

Subiect Tematic:	Logică matematică

Lucrări: 30 lucrari in 30 publicatii in 4 limbi

30 records Page 3 of 3

Principes de logique et de philosophie mathématique de: Onicescu, Octav (1892-1983) (Text tipărit)

Logica şi teoria numerelor de: Popovici, Constantin P. (Text tipărit)

Elemente de logică matematică şi demonstrarea automată a teoremelor de: State, Luminiţa Doina (Text tipărit)

Logică şi creativitate de: Buţa, Viorel (Text tipărit)

Contributions to Formal Specification of Programmes Systems : Teză de doctorat de: Cozma, Pompiliea; Universitatea din Piteşti. Facultatea de Matematică-Informatică (Text tipărit)

Teoria sistemelor logice : Metalogica de: Enescu, Gheorghe (Text tipărit)

Topos-ul formal şi istoric al silogisticii de: Cernica, Viorel (Text tipărit)

Sistemele axiomatice ale logicii limbajului natural. Funcţii şi operaţionalizare de: Andreescu, Gabriel (Text tipărit)

Primae veritates şi alte scrieri de logică şi metafizică : Leibniz prin el însuşi de: Leibniz, Gottfried Wilhelm (Text tipărit)

Silogistica : Teoria clasică şi interpretările moderne de: Didilescu, Ion; Botezatu, Petre, logician (1911-1981) (Text tipărit)

Subiecte