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.

O autoru zsikic

https://www.fsb.unizg.hr/matematika/sikic/
Ovaj unos je objavljen u logika. Bookmarkirajte stalnu vezu.

Komentiraj

Please log in using one of these methods to post your comment:

Gravatar
WordPress.com Logo

Ovaj komentar pišete koristeći vaš WordPress.com račun. ( Odjava /  Izmijeni )

Facebook slika

Ovaj komentar pišete koristeći vaš Facebook račun. ( Odjava /  Izmijeni )

Odustani

Spajanje na %s