Found 6 Documents (Results 1–6)
Universality of logic. (English) Zbl 1423.03039
Filter Results by …
all
top 5
Author
- Brunner, Andreas Bernhard Michael (1)
- Ivanov, Ievgen (1)
- Korniłowicz, Artur (1)
- Lewitzka, Steffen (1)
- Milne, Peter (1)
- Moraschini, Tommaso (1)
- Nikitchenko, Mykola S. (1)
- Pollard, Stephen K. (1)
- Woleński, Jan (1)
Software
- Mizar (1)