数理論理学とは何か(新版)<br>What Is Mathematical Logic?
  • 洋書

数理論理学とは何か(新版)
What Is Mathematical Logic?
 Hardcover,  言語:ENG

Badia, Guillermo/ Crossley, John N./ Stillwell, John C.

  • ウェブストア価格 ¥7,736(本体¥7,033)
  • Oxford University Press(2025/12発売)
  • ポイント 70pt
  • 海外取次在庫
Guy of Saint-Denis, Tractatus de tonis (Teams Varia)
  • 洋書

Guy of Saint-Denis, Tractatus de tonis (Teams Varia)  Hardcover,  言語:ENG

Crossley, John N. (EDT)/ Jeffreys, Catherine (EDT)/ Mews, Constant J. (EDT)

  • ウェブストア価格 ¥8,830(本体¥8,028)
  • Medieval Institute Publications(2017/04発売)
  • ポイント 80pt
  • 海外からお取り寄せ(通常6~9週間)
Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic)
  • 洋書

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic)  Paperback,  言語:ENG

Crossley, John N. (EDT)/ Remmel, Jeffrey B. (EDT)/ Shore, Richard (EDT)

  • Springer-Verlag New York Inc.(2013/02発売)
  • ご注文いただけません
What is Mathematical Logic? (Dover Books on Mathema 1.4tics)
  • 洋書

What is Mathematical Logic? (Dover Books on Mathema 1.4tics)  Paperback,  言語:ENG

Crossley, John N.

  • ウェブストア価格 ¥2,124(本体¥1,931)
  • Dover Publications Inc.(2003/03発売)
  • ポイント 19pt
  • 海外からお取り寄せ(通常6~9週間)
Guy of Saint-Denis, Tractatus de tonis (Teams Varia)
  • 洋書

Guy of Saint-Denis, Tractatus de tonis (Teams Varia)  Paperback,  言語:ENG

Mews, Constant J. (EDT)/ Williams, Carol J. (EDT)/ Crossley, John N. (EDT)

  • ウェブストア価格 ¥4,409(本体¥4,009)
  • Medieval Institute Publications(2017/04発売)
  • ポイント 40pt
  • 海外からお取り寄せ(通常6~9週間)
Adapting Proofs-as-programs : The Curry--howard Protocol (Monographs in Computer Science)
  • 洋書

Adapting Proofs-as-programs : The Curry--howard Protocol (Monographs in Computer Science)  Paperback,  言語:ENG

Poernomo, Iman/ Crossley, John N./ Wirsing, Martin

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer(2010/02発売)
  • ポイント 341pt
  • 海外取次在庫
Ars musice (Teams Varia)
  • 洋書

Ars musice (Teams Varia)  Paperback,  言語:ENG

Grocheio, Johannes/ Mews, Constant J. (EDT)/ Crossley, John N. (EDT)

  • ウェブストア価格 ¥4,409(本体¥4,009)
  • Medieval Institute Publications(2011/10発売)
  • ポイント 40pt
  • 海外からお取り寄せ(通常6~9週間)
Logical Methods : In Honour of Anil Nerode's Sixtieth Birthday (Progress in Theoretical Computer Science)
  • 洋書

Logical Methods : In Honour of Anil Nerode's Sixtieth Birthday (Progress in Theoretical Computer Science)  Hardcover,  言語:ENG

Crossley, John N. (EDT)/ Remmel, Jeffrey B. (EDT)/ Shore, Richard A. (EDT)

  • Birkhauser Verlag AG(1993/11発売)
  • ご注文いただけません