本文へ移動

年 〜
年

検索結果 51 件

Graph games and logic design : recent developments and further directions : [hardback]

Graph games and logic design : recent developments and further directions : [hardback]
紙図書
Johan van Benthem, Fenrong Liu, editorsSpringer[2026]
全国の図書館
  • 著者標目Benthem, J. F. A. K. van Liu, Fenrong

Logic, information and agency : paperback

Logic, information and agency : paperback
紙図書
Johan van BenthemCSLI Publications[2025]
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
デジタル電子書籍・電子雑誌図書
2008
インターネットで読める国立国会図書館
  • 著者標目...Lowe, Benedikt Benthem, J. F. A. K. van Gabbay, Dov M. Lo�we, Benedik...

Logic in games

Logic in games
紙図書
Johan van BenthemMIT Pressc2014
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

Logical dynamics of information and interaction : pbk

Logical dynamics of information and interaction : pbk
紙図書
Johan van BenthemCambridge University Press2014
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

Readings in formal epistemology : sourcebook : hbk

Readings in formal epistemology : sourcebook : hbk
紙図書
Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem, editorsSpringerc2016
全国の図書館
  • 著者標目Arló-Costa, Horacio Hendricks, Vincent F. Benthem, J. F. A. K. van

Readings in formal epistemology : sourcebook Softcover reprint of the original 1st ed

Readings in formal epistemology : sourcebook Softcover reprint of the original 1st ed
紙図書
Horacio Arló-Costa, Vincent F. Hendricks, Johan Van Benthem, editors ; Henrik Boensvang, Rasmus K. Rendsvig, assistant editorsSpringer : Springer International Publishingc2016
全国の図書館
  • 著者標目...ks, Vincent F. Benthem, J. F. A. K. van Boensvang, Henrik Rendsvig, R...

Logical dynamics of information and interaction

Logical dynamics of information and interaction
紙図書
Johan van BenthemCambridge University Press2011
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

Handbook of logic and language : pbk 2nd ed

Handbook of logic and language : pbk 2nd ed
紙図書
Johan van Benthem, Alice ter MeulenElsevier2011
全国の図書館
  • 著者標目Benthem, J. F. A. K. van Meulen, Alice G. B. ter

Modal logic for open minds : pbk : hbk

Modal logic for open minds : pbk : hbk
紙図書
Johan van BenthemCSLI Publicationsc2010
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

Games, norms and reasons : logic at the crossroads : hbk : pbk

Games, norms and reasons : logic at the crossroads : hbk : pbk
紙図書
edited by Johan van Benthem, Amitabha Gupta and Eric PacuitSpringerc2011
全国の図書館
  • 著者標目Benthem, J. F. A. K. van Gupta, Amitabha Pacuit, Eric

The age of alternative logics : assessing philosophy of logic and mathematics today : PB

The age of alternative logics : assessing philosophy of logic and mathematics today : PB
紙図書
edited by Johan van Benthem ... [et al.]Springerc2009
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

Proof, computation and agency : logic at the crossroads : softcover

Proof, computation and agency : logic at the crossroads : softcover
紙図書
edited by Johan van Benthem, Amitabha Gupta and Rohit ParikhSpringerc2011
全国の図書館
  • 著者標目...er Disciplines Benthem, J. F. A. K. van Gupta, Amitabha Parikh, Rohit

Handbook of logic and language 2nd ed. (Elsevier insights)

Handbook of logic and language 2nd ed. (Elsevier insights)
紙図書
[edited by] Johan van Benthem, Alice ter Meulen.Elsevierc2011.<M121-B99>
国立国会図書館
  • 著者標目Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. te...

Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem.

Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem.
紙図書
Springerc2007.<MA41-B20>
国立国会図書館
  • 著者標目Aiello, Marco. Pratt-Hartmann, Ian. Benthem, J. F. A. K. van, 1949-

Philosophy of information 1st ed

Philosophy of information 1st ed
紙図書
edited by Pieter Adriaans and Johan van BenthemNorth Holland2008
全国の図書館
  • 著者標目Adriaans, Pieter Benthem, J. F. A. K. van

Handbook of modal logic

Handbook of modal logic
紙図書
edited by Patrick Blackburn, Johan van Benthem, Frank WolterElsevier2007
全国の図書館
  • 著者標目Blackburn, Patrick Benthem, J. F. A. K. van Wolter, F. (Frank)

The age of alternative logics : assessing philosophy of logic and mathematics today : HB

The age of alternative logics : assessing philosophy of logic and mathematics today : HB
紙図書
edited by Johan van Benthem ... [et al.]Springerc2006
全国の図書館
  • 著者標目Benthem, J. F. A. K. van

A meeting of the minds : proceedings of the workshop on logic, rationality and interaction, Beijing, 2007 : pbk

A meeting of the minds : proceedings of the workshop on logic, rationality and interaction, Beijing, 2007 : pbk
紙図書
edited by Johan van Benthem, Shier Ju, and Frank VeltmanCollege Publicationsc2007
全国の図書館
  • 著者標目Benthem, J. F. A. K. van Ju, Shier Veltman, Frank

Handbook of spatial logics

Handbook of spatial logics
紙図書
edited by Marco Aiello, Ian Pratt-Hartmann and Johan van BenthemSpringerc2007
全国の図書館
  • 著者標目Aiello, Marco Pratt-Hartmann, Ian Benthem, J. F. A. K. van
RSS