Louis Couturat -Trait de Logique algorithmique
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Basel :
Birkhuser Basel,
2010.
|
| シリーズ: | Publications des Archives Henri Poincar Publications of the Henri Poincar Archives
|
| 主題: | |
| オンライン・アクセス: | http://dx.doi.org/10.1007/978-3-0346-0411-6 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: Louis Couturat -Trait de Logique algorithmique
- Louis Couturat -Trait de Logique algorithmique
- An introduction to the early development of mathematics /
- An introduction to the early development of mathematics /
- Making up Numbers : a history of invention in mathematics /
- Making up Numbers : a history of invention in mathematics /
- The architecture of modern mathematics essays in history and philosophy /