這是我們的台灣商店。

您似乎位於美國。您需要台灣地址才能在我們的台灣商店中選購。前往我們的美國商店以繼續選購。

Formal Methods - An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic 電子書,作者:

Formal Methods

An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

簡介

類別

關於本書

  • 語言:English
  • ISBN:9789401032698
  • 發行日期:2015年1月22日
  • 出版商:Springer Netherlands
  • 出版單位:Springer
  • 檔案格式:EPUB2
  • 檔案大小:7.76 MB
  • 下載選項:EPUB2 (Adobe DRM)

系列書籍

Aspects of Modern Logic

E.W. Beth,D.H.J. de Jongh,Susan de Jongh-Kearl

Science a Road to Wisdom

Peter Wesly,E.W. Beth