登入
選單
返回
Google圖書搜尋
A Complete, Type-free Second-order Logic and Its Philosophical Foundations
Barbara J. Grosz
Brian Cantwell Smith
Christopher M. Menzel
Hans Uszkoreit
Jerry R. Hobbs
John Perry
José Meseguer
Robert C. Moore
C. L. Sidner
Joseph Goguen
Michael Agar
Stanley Peters
出版
Center for the Study of Language and Information, Stanford University
, 1984
URL
http://books.google.com.hk/books?id=MSdkvgEACAAJ&hl=&source=gbs_api