Mjesečna Arhiva: Prosinac 2022.

World Logic Prizes (on semantic and syntactic foundation of classical logic)

Objavljeno 17/12/2022 objavio zsikic

The recording of “Kneale’s natural deductions as a notational variant of Beth’s tableaus” by Zvonimir Šikić for the series World Logic Prizes.

Ocijeni:

Objavljeno u logika | Ostavi komentar