close
1.

電子ブック
ＥＢ
1. Logica: Metodo Breve
by Daniele Mundici
出版情報: Milano : Springer Milan, 2011
シリーズ名: UNITEXT ; 1
オンライン: http://dx.doi.org/10.1007/978-88-470-1884-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logica : Volume 1 Dimostrazioni e modelli al primo ordine
by Vito Michele Abrusci, Lorenzo Tortora Falco
出版情報: Milano : Springer Milan : Imprint: Springer, 2014
シリーズ名: UNITEXT ; 80
オンライン: http://dx.doi.org/10.1007/978-88-470-5538-4
所蔵情報: loading…
目次情報: 続きを見る
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
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità