THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Leigh, G, Rathjen, M
Μορφή: Journal article
Έκδοση: 2012