Jump to main content

yr 〜
yr

Search results 8

Labelled deduction

Labelled deduction
Paper図書
edited by David Basin ... [et al.]Kluwer Academicc2000
Other Libraries in Japan

Compiled labelled deductive systems : a uniform presentation of non-classical logics

Compiled labelled deductive systems : a uniform presentation of non-classical logics
Paper図書
Krysia Broda ... [et al.]Research Studies Pressc2004
Other Libraries in Japan

Labelled deductive systems v. 1

Labelled deductive systems v. 1
Paper図書
Dov M. GabbayOxford University Press1996-
Other Libraries in Japan

Logical dependency in quantification : a study conducted within the framework of labelled deductive systems, with special reference to English and Mandarin Chinese

Logical dependency in quantification : a study conducted within the framework of labelled deductive systems, with special reference to English and Mandarin Chinese
Paper図書
Yan Jiangsupplied by the British Library Document Supply Centre1995
Other Libraries in Japan

Applied logic series

Applied logic series
Paper図書
Kluwerc1996-
Other Libraries in Japan
  • Related Material...abase updating Labelled deduction Dynamic worlds : from the fra...

Studies in logic and computation

Studies in logic and computation
Paper図書
Clarendon Press
Other Libraries in Japan

Oxford logic guides

Oxford logic guides
Paper図書
Clarendon Press
Other Libraries in Japan

British thesis service

British thesis service
Paper図書
Supplied by the British Library Document Supply Centre
Other Libraries in Japan

Reached to the end of result.

RSS