Browsing by Subject Logic
Showing results 1 to 11 of 11
Issue Date | Title | Author(s) |
1719 | Assertiones mathematicae ac philosophicae. Ex elementis geometricis, cosmographicis, & astronomicis, opticis, mechanicis, et universa aristotelis philosophia selectae, quas in collegio melitensi societatis Jesa publicè exponet, & tuebitur | Ferruggia, Carolus |
2018 | Combinatory logic: from philosophy and mathematics to computer science | Farrugia, Alexander |
2023 | Exploring bidirectional typing for the Semi-Axiomatic sequent calculus | Borg, Benjamin (2023) |
2011 | Implementing proof systems for the intuitionistic propositional logic | Zammit, Veronica (2011) |
1985 | An introduction to mathematical logic | Bezzina, Leonard |
1973 | Journal of the Faculty of Arts : volume 5 : issue 3 | Aquilina, J.; Marshall, David R. |
2013-03 | The left brain is logical, the right side is creative | Duca, Edward |
1973 | On the boundary between syntax and logic | Kempf, Zdzislaw |
2016-08 | Summer musings : part 1 | Azzopardi, Andrew |
2016-08 | Summer musings : part 2 | Azzopardi, Andrew |
1741 | Theses philosophicae | Galea, Laurentius; Pace, Salvatoris |