yr 〜
yr

Search results 8

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. (International mathematical series ; v. 5)
Paper図書
Springerc2007-<MA41-B22>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Goncharov, S. S. Zakharyasche...

Handbook of quantum logic and quantum structures : quantum structures / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. 1st ed.

Handbook of quantum logic and quantum structures : quantum structures / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. 1st ed.
Paper図書
Elsevier2007.<MC53-B29>
National Diet Library
  • Author HeadingEngesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)
Paper図書
Elsevier2002.<MA41-B19>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945-

Handbook of the history of logic 1st ed.

Handbook of the history of logic 1st ed.
Paper図書
edited by Dov M. Gabbay and John Woods.Elsevier2004-<H35-B8>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Woods, John (John Hayden)

Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner. 2nd ed.

Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner. 2nd ed.
Paper図書
Kluwer Academic Publishersc2001-<H35-B4>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Guenthner, Franz.

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9320>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Ohlbach, Hans Jürgen.

Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner. (Synthese library ; v. 164-166)

Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner. (Synthese library ; v. 164-166)
Paper図書
D. Reidelc1983-<H35-A5>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Guenthner, Franz.

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay. (Synthese library ; v. 148)

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay. (Synthese library ; v. 148)
Paper図書
D. Reidel Pub. Co.c1981.<MA41-A45>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945-

Reached to the end of result.