Search Results for - Narrowed by: Logic, Symbolic and mathematical - SpringerLink (Online service)
SirsiDynix Enterprise
http://portal.utm.my/client/en_AU/main/main/qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical$002509Logic$00252C$002bSymbolic$002band$002bmathematical$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300$0026isd$003dtrue?dt=list
2024-05-08T04:42:06Z
Handbook of Spatial Logics
ent://SD_ILS/0/SD_ILS:517780
2024-05-08T04:42:06Z
2024-05-08T04:42:06Z
by Aiello, Marco<br/>Author Aiello, Marco, Benthem, Johan, Pratt-Hartmann, Ian, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000896<br/>Publisher Springer,<br/>Publication Date 2007<br/>ISBN 9781402055874 9781402055867<br/><a href="http://dx.doi.org/10.1007/978-1-4020-5587-4">Full Text</a><br/>Remote access restricted to users with a valid UTM ID via VPN<br/>
Techniques of constructive analysis
ent://SD_ILS/0/SD_ILS:515419
2024-05-08T04:42:06Z
2024-05-08T04:42:06Z
by Bridges, Douglas S.<br/>Author Bridges, Douglas S., Vita, Luminita Simona, SpringerLink (Online service)<br/>Format: Computer file<br/>Call Number EB 000056<br/>Publisher Springer Science+Business Media, LLC,<br/>Publication Date 2006<br/>ISBN 9780387381473<br/><a href="http://dx.doi.org/10.1007/978-0-387-38147-3">Full Text</a><br/>Accessible within UTM campus<br/>