Logic, induction and sets / Thomas Forster.
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatyp...
| Uniform Title: | London Mathematical Society student texts ;
56. |
|---|---|
| Main Author: | |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2003.
|
| Series: | London Mathematical Society student texts ;
56. |
| Subjects: | |
| Online Access: | |
| Physical Description: | 1 online resource (x, 234 pages) : digital, PDF file(s). |
| Variant Title: |
Logic, Induction & Sets. |
| Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.