MARC 닫기

• LDR

  00792cacoa22001811u SKA

• 001

  000000329971

• 005

  20120926201608

• 008

  940113s197 us 000 eng

• 049

  ▼a  KMAL
  ▼l  AZ0000065453
  ▼v  447

• 082

  ▼a  510.8

• 090

  ▼a  510.8
  ▼b  L49L

• 245

  ▼a  Lecture notes in mathematics.

• 260

  ▼a  New York:
  ▼b  Springer,
  ▼c  197.

• 300

  ▼a  vols.;
  ▼c  25 cm.

• 505

  ▼b  v.447-Tableau systems for first order number theory and certain higher order theories, by S. Toledo

• 653

  ▼a  LECTURE
  ▼a  NOTES
  ▼a  IN
  ▼a  MATHEMATICS
  ▼a  TABLEAU
  ▼a  SYSTEMS
  ▼a  FOR
  ▼a  FIRST
  ▼a  ORDER
  ▼a  NUMBER
  ▼a  THEORY
  ▼a  AND
  ▼a  CERTAIN
  ▼a  HIGHER
  ▼a  THEORIES

• 700

  ▼a  Toledo, S.
  ▼t  Tableau systems for first order number theory and certain higher order theories,

• 740

  ▼a  Tableau systems for first order number theory and certain higher order theories

• 991

  ▼a  단행본

• 090

  ▼a  510.8
  ▼b  L49L