Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Mathematics
Proof theory.
Mathematics.
Mathematical Computing.
Philosophy.
Logistic Models.
Mathematik.
Philosophie.
Beweis.
Tags: Add Tag
No Tags, Be the first to tag this record!

General Collection

Holdings details from General Collection
Call Number: QA8.4 .H33 2014
Copy 0 AVAILABLE
Notes:
  • json {"id":"b26094f0-808b-566e-9a0c-e629b283750d","status":{"code":"AVAILABLE"},"location":{"code":"TRUMAN-GEN","name":"General Collection"},"barcode":"31514007047650","callNumber":"QA8.4 .H33 2014","sourceHostLmsCode":"TRUMAN","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-20T22:29:32.544364566Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-05-20T22:29:32.875967800Z"}

LC Collection

Holdings details from LC Collection
Call Number: QA8.4 .H29 2014
Copy 1 AVAILABLE
Notes:
  • json {"id":"1589086","status":{"code":"AVAILABLE"},"location":{"code":"skmlc","name":"LC Collection"},"barcode":"31955904226329","callNumber":"QA8.4 .H29 2014","hostLmsCode":"SEMO","sourceHostLmsCode":"SEMO","owningContext":"SEMO","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-20T22:29:32.544364566Z","localItemType":"MONOGRAPH","canonicalItemType":"CIRC","localItemTypeCode":"0","agency":{"code":"6semo","name":"Southeast Missouri State University","description":"Southeast Missouri State University"},"statusCorrectAsOf":"2026-05-20T22:29:32.809358734Z"}