Reference : Intuitionistic basis for IOL |
Parts of books : Contribution to collective works | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/14524 | |||
Intuitionistic basis for IOL | |
English | |
Parent, Xavier ![]() | |
van der Torre, Leon ![]() | |
Gabbay, Dov M. ![]() | |
2014 | |
David Makinson's outsanding contribution to non-classical logic | |
Hansson, Sven Ove | |
Springer | |
Yes | |
Researchers ; Professionals ; Students ; General public ; Others | |
http://hdl.handle.net/10993/14524 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.