检索条件: Finite and algorithmic model theory / ( 题名 )
责任者 edited by Javier Esparza, Christian Michaux, Charles Steinhorn.
出版信息 Cambridge University Press, ,2011.
ISBN 9780521718202 (pbk.)
出版信息 Cambridge University Press, ,2012.
ISBN 9780521196963 (hbk.)
责任者 Umran S. Inan, Robert A. Marshall.
出版信息 Cambridge University Press, ,2011.
ISBN 9780521190695 (hardback)
加入成功
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您
确定预约