Logica : Volume 1 Dimostrazioni e modelli al primo ordine
- フォーマット:
- 電子ブック
- 責任表示:
- by Vito Michele Abrusci, Lorenzo Tortora Falco
- 言語:
- イタリア語
- 出版情報:
- Milano : Springer Milan : Imprint: Springer, 2014
- 形態:
- IX, 190 pagg : online resource
- 著者名:
- シリーズ名:
- UNITEXT ; 80
- 目次情報:
-
1 Introduzione 2 Alcune nozioni preliminari 3 Dimostrabilità e soddisfacibilità 4 Verso la teoria della dimostrazione: il teorema del taglio per LK 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza - 書誌ID:
- IT00007752
- ISBN:
- 9788847055384 [8847055385]
9788847055377 [8847055377]
類似資料:
1
電子ブック
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
Springer Netherlands |
Birkhäuser Verlag AG |
Springer-Verlag Berlin Heidelberg |
Springer International Publishing : Imprint: Birkhäuser |
Springer Milan |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Science+Business Media, Inc. |
Springer Science+Business Media B.V. |
Springer Science+Business Media B.V. |
Springer Science+Business Media B.V. |
Birkhäuser Verlag AG |
Springer-Verlag Berlin Heidelberg |