close
1.

電子ブック
ＥＢ
1. Un mondo di idee : La matematica ovunque
edited by Ciro Ciliberto, Roberto Lucchetti
出版情報: Milano : Springer-Verlag Milan, 2011
シリーズ名: I blu, pagine di scienza ;
オンライン: http://dx.doi.org/10.1007/978-88-470-1744-3
所蔵情報: loading…
2.

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

電子ブック
ＥＢ
3. Guida alla teoria degli insiemi
by Gabriele Lolli
出版情報: Milano : Springer-Verlag Italia, 2008
シリーズ名: Convergenze ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0769-7
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Teoria algebrica dei meccanismi automatici
edited by R. Righi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2012
シリーズ名: C.I.M.E. Summer Schools ; 19
オンライン: http://dx.doi.org/10.1007/978-3-642-10932-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Non solo calcoli : Domande e risposte sui perché della matematica
by Vinicio Villani, Claudio Bernardi, Sergio Zoccante, Roberto Porcaro
出版情報: Milano : Springer Milan : Imprint: Springer, 2012
シリーズ名: Convergenze ;
オンライン: http://dx.doi.org/10.1007/978-88-470-2610-0
所蔵情報: loading…
目次情報:
Logica e Teoria degli insiemi
Analisi matematica
Probabilità e Statistica
Logica e Teoria degli insiemi
Analisi matematica
Probabilità e Statistica
6.

電子ブック
ＥＢ
6. 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à