海量图书期刊资源,随时随地畅享阅读乐趣
Volume Contents for Volume 172001
Volume contents for volume 172003
Volume contents and author index for volume 171980
Volume contents and author index for volume 171992
Volume contents and author index for volume 17, 19931993
Indexes, Volume Title and Contents for Volume 17Journal - American Water Works Association · 1927
List of contents for volume 17, 19901990
Contents for Volume 172005
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014