1.

図書
図書
1. Learning language in logic
James Cussens, Sašo Džeroski (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1925 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2500
所蔵情報: loading…
3.

図書
図書
3. Natural deduction : a proof-theoretical study (: pbk)
Dag Prawitz
出版情報: Mineola, N.Y. : Dover Publications, 2006
シリーズ名: Dover books on mathematics
所蔵情報: loading…
4.

図書
図書
4. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
5.

図書
図書
5. Mathematical logic for computer science. 2nd ed. (: pbk)
Mordechai Ben-Ari
出版情報: New York, Tokyo : Springer, c2001
所蔵情報: loading…
6.

図書
図書
6. Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
出版情報: Berlin : Springer, c2004
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
7.

図書
図書
7. Introduction to mathematical logic. 6th ed
Elliott Mendelson
出版情報: Boca Raton : CRC Press, c2015
シリーズ名: Textbooks in mathematics / series editor, Denny Gulick
所蔵情報: loading…
8.

図書
図書
8. Adapting proofs-as-programs : the Curry-Howard protocol (: hbk ; : pbk)
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
出版情報: New York, N.Y. : Springer, c2005
シリーズ名: Monographs in computer science
所蔵情報: loading…
9.

図書
図書
9. Discrete mathematics and its applications. 7th ed., Global ed / adapted by Kamala Krithivasan (: pbk)
Kenneth H. Rosen
出版情報: New York : McGraw-Hill, c2013
所蔵情報: loading…
10.

図書
図書
10. The Haskell road to logic, maths and programming. 2nd ed (: pbk)
Kees Doets, Jan van Eijck
出版情報: [London] : College Publications, 2012
シリーズ名: Texts in computing ; v. 4
所蔵情報: loading…