Models of Peano arithmetic

Title Statements

• Full title :Models of Peano arithmetic / Richard Kaye.

Edition Statements

• Publication Date:1991.

Publication Statements

• Publisher(s):Clarendon Press, Oxford University Press
• Place of Publication:Oxford
• Language:eng
• Publication Date:1991.

The Physical Object

• Description:X, 292 p. : : ill. ; : 24 cm.

Edition Identifiers

• ISBN:019853213X, 9780198532132
• oclc:ocn782059567
• LC Classification:QA248
• Dewey Decimal:513

Subjects

Writers

More from this Series

• Twenty-five years of constructive type theory

  1998.

  more →

• Twenty-five years of constructive type theory

  1998.

  more →

• Twenty-five years of constructive type theory

  1998

  more →

  

• Twenty five years of constructive type theory

  1998.

  more →

  

• Twenty-five years of constructive type theory

  1998.

  more →