The Resource Predicative Arithmetic. (MN-32)

Predicative Arithmetic. (MN-32)

Label
Predicative Arithmetic. (MN-32)
Title
Predicative Arithmetic. (MN-32)
Creator
Subject
Language
eng
Summary
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q.A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these
Member of
Cataloging source
EBLCP
Dewey number
511.3
Index
no index present
LC call number
QA9.56
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Mathematical Notes
Label
Predicative Arithmetic. (MN-32)
Publication
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Cover; Table of Contents
Control code
ocn884013294
Dimensions
unknown
Extent
1 online resource (199 pages)
Form of item
online
Isbn
9781400858927
Media category
computer
Media MARC source
rdamedia
Media type code
c
http://library.link/vocab/ext/overdrive/overdriveId
22573/ctt73bgf5
http://library.link/vocab/recordID
.b33108699
Specific material designation
remote
System control number
  • (OCoLC)884013294
  • jstordda1400858925

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...