Computability and logic /

類似資料

• Computability, complexity, logic /
  著者:: Börger, E. (Egon), 1946-
  出版事項: (1989)
• Mathematical logic.
  著者:: Ponasse, Daniel
  出版事項: (1973)
• Logic and algorithms, with applications to the computer and information sciences
  著者:: Korfhage, Robert R. (Robert Roy)
  出版事項: (1966)
• An outline of mathematical logic : fundamental results and notions explained with all details /
  著者:: Grzegorczyk, Andrzej
  出版事項: (1974)
• Computational aspects of an order-sorted logic with term declarations /
  著者:: Schmidt-Schauss, M. (Manfred)
  出版事項: (1989)