MARC 닫기

• LDR

  00798nam a2200229 u 4500

• 001

  000000341678

• 005

  20120927195053

• 008

  971107s1979 ne 001 eng

• 020

  ▼a  9027709297

• 049

  ▼a  KMAL
  ▼l  AZ0000167663

• 082

  ▼a  511.3

• 090

  ▼a  511.3
  ▼b  B67m

• 245

  ▼a  Model theory for modal logic:
  ▼b  kripke models for modal predicate calculi/
  ▼d  Kenneth A. Bowen.

• 260

  ▼a  Dordrecht;.
  ▼a  Boston;.
  ▼a  London:
  ▼b  D. Reidel Publishing,
  ▼c  c1979.

• 300

  ▼a  x, 127 p.;
  ▼c  23 cm.

• 440

  ▼a  Synthese library;
  ▼v  127

• 504

  ▼a  Includes bibliographical references indexes.

• 650

  ▼a  Modality (Logic).

• 650

  ▼a  Model theory.

• 650

  ▼a  Predicate calculus.

• 653

  ▼a  MODEL
  ▼a  THEORY
  ▼a  FOR
  ▼a  MODAL
  ▼a  LOGIC
  ▼a  KRIPKE
  ▼a  MODELS
  ▼a  PREDICATE
  ▼a  CALCULI
  ▼a  SYNTHESE
  ▼a  LIBRARY

• 700

  ▼a  Bowen, Kenneth A,

• 991

  ▼a  단행본

• 090

  ▼a  511.3
  ▼b  B67m