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

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

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

  • ウェブストア価格 ¥6,837(本体¥6,216)
  • Oxford University Press(2025/12発売)
  • ポイント 62pt
  • ご予約受付中。出版後の入荷・発送
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,324(本体¥7,568)
  • Medieval Institute Publications(2017/04発売)
  • ポイント 75pt
  • 海外からお取り寄せ(通常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)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer-Verlag New York Inc.(2013/02発売)
  • ポイント 322pt
  • 海外からお取り寄せ(通常6~9週間)
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.

  • ウェブストア価格 ¥1,976(本体¥1,797)
  • Dover Publications Inc.(2003/03発売)
  • ポイント 17pt
  • 海外からお取り寄せ(通常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,156(本体¥3,779)
  • Medieval Institute Publications(2017/04発売)
  • ポイント 37pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer(2010/02発売)
  • ポイント 322pt
  • 海外取次在庫
Ars musice (Teams Varia)
  • 洋書

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

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

  • ウェブストア価格 ¥4,156(本体¥3,779)
  • Medieval Institute Publications(2011/10発売)
  • ポイント 37pt
  • 海外からお取り寄せ(通常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発売)
  • ご注文いただけません