A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
Branislav R. Boričić (1983)
Publications de l'Institut Mathématique
Similarity:
Branislav R. Boričić (1983)
Publications de l'Institut Mathématique
Similarity:
Bertram, Wolfgang, Hilgert, Joachim (2001)
Journal of Lie Theory
Similarity:
Tatjana Ostrogorski (1980)
Publications de l'Institut Mathématique
Similarity:
Zoran S. Radosavljević, Slobodan K. Simić, M. Syslo, J. Topp (1983)
Publications de l'Institut Mathématique
Similarity:
Moroz, V., Zabreiko, P. (1999)
Zeitschrift für Analysis und ihre Anwendungen
Similarity:
Tatjana Ostrogorski (1981)
Publications de l'Institut Mathématique
Similarity: