yr 〜
yr

Search results 20

Logic, language, information and computation : 15th international workshop, WoLLIC 2008 : Edinburgh, UK, July 1-4, 2008 : proceedings. : Jul 2008, Edinburgh, UK. (Lecture Notes in Computer Science ; 5110. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 15th international workshop, WoLLIC 2008 : Edinburgh, UK, July 1-4, 2008 : proceedings. : Jul 2008, Edinburgh, UK. (Lecture Notes in Computer Science ; 5110. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-2126>
National Diet Library
  • Author HeadingHodges, Wilfrid. Queiroz, Ruy J. G. B. de. Wo...

Syllogism : an abridgement of Aristotle's Prior analytics : hb

Syllogism : an abridgement of Aristotle's Prior analytics : hb
Paper図書
Al-Fārābī ; translated by Saloua Chatti and Wilfrid Hodges ; with an introduction by Wilfrid HodgesBloomsbury Academic2020
Other Libraries in Japan
  • Author HeadingFārābī Chatti, Saloua Hodges, Wilfrid

Logic, methodology and philosophy of science : proceedings of the 14th international congress (Nancy) : logic and science facing the new technologies

Logic, methodology and philosophy of science : proceedings of the 14th international congress (Nancy) : logic and science facing the new technologies
Paper図書
edited by Peter Schroeder-Heister ... [et al.]College Publicationsc2014
Other Libraries in Japan
  • Author HeadingSchroeder-Heister, Peter Heinzmann, Gerhard Hodges, Wilfrid Edouard Bour, Pierre

Model theory : pbk

Model theory : pbk
Paper図書
Wilfrid HodgesCambridge University Press2008
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Building models by games : pbk

Building models by games : pbk
Paper図書
Wilfrid HodgesDover Publications2006
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Model theory / Wilfrid Hodges. (Encyclopedia of mathematics and its applications ; v. 42)

Model theory / Wilfrid Hodges. (Encyclopedia of mathematics and its applications ; v. 42)
Paper図書
Cambridge University Press1993.<MA41-A83>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHodges, Wilfrid.

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
Paper図書
Wilfrid Hodges, Ruy de Queiroz (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingWorkshop on Logic, Language, Information and Computation Hodges, Wilfrid Queiroz, Ruy J. G. B. de

Mathematical logic : hbk : pbk

Mathematical logic : hbk : pbk
Paper図書
Ian Chiswell and Wilfrid HodgesOxford University Press2007
Other Libraries in Japan
  • Author HeadingChiswell, Ian Hodges, Wilfrid

Logic 2nd ed

Logic 2nd ed
Paper図書
Wilfrid HodgesPenguin Books2001
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

A shorter model theory

A shorter model theory
Paper図書
Wilfrid HodgesCambridge University Press1997
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Logic : from foundations to applications : European logic colloquium

Logic : from foundations to applications : European logic colloquium
Paper図書
edited by Wilfrid Hodges ... [et al.]Clarendon Press1996
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid Logic Colloquium

Model theory

Model theory
Paper図書
Wilfrid HodgesCambridge University Press1993
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Logic (Penguin Philosophy)

Logic (Penguin Philosophy)
Paper図書
Hodges Wilfrid.Penguin Books1991.
Other Libraries in Japan

Logic

Logic
Paper図書
Wilfrid HodgesPenguin1991
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Ｌｏｇｉｃ (Ｐｅｌｉｃａｎ　ｂｏｏｋｓ)

Ｌｏｇｉｃ (Ｐｅｌｉｃａｎ　ｂｏｏｋｓ)
Paper図書
ＷｉｌｆｒｉｄＨｏｄｇｅｓＰｅｎｇｕｉｎ　Ｂｏｏｋｓ1986
Other Libraries in Japan

Conference in Mathematical Logic, London '70. Edited by Wilfrid Hodges. (Lecture notes in mathematics, 255)

Conference in Mathematical Logic, London '70. Edited by Wilfrid Hodges. (Lecture notes in mathematics, 255)
Paper図書
Springer-Verlag1972.<H35-40>
National Diet Library
  • Author HeadingConference in Mathematical Logic, Bedford College, 1970. Hodges, Wilfrid.

Building models by games : hard : pbk

Building models by games : hard : pbk
Paper図書
Wilfrid HodgesCambridge University Press1985
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Logic

Logic
Paper図書
Wilfrid HodgesPenguin1977
Other Libraries in Japan
  • Author HeadingHodges, Wilfrid

Ｌｏｇｉｃ

Ｌｏｇｉｃ
Paper図書
ＷｉｌｆｒｉｄＨｏｄｇｅｓ 著Ｐｅｎｇｕｉｎ　Ｂｏｏｋｓ１９７７
Other Libraries in Japan

Conference in Mathematical Logic, London '70 : [proceedings] : Germany : U.S.

Conference in Mathematical Logic, London '70 : [proceedings] : Germany : U.S.
Paper図書
edited by Wilfrid HodgesSpringer-Verlag1972
Other Libraries in Japan
  • Author HeadingConference in Mathematical Logic Hodges, Wilfrid

Reached to the end of result.