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...

Full description

Bibliographic Details
Uniform Title:	London Mathematical Society student texts ; 56.
Main Author:	Förster, Thomas (Historian) (Author)
Language:	English
Published:	Cambridge : Cambridge University Press, 2003.
Series:	London Mathematical Society student texts ; 56.
Subjects:	Axiomatic set theory.
Online Access:	Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Physical Description:	1 online resource (x, 234 pages) : digital, PDF file(s).
Variant Title:	Logic, Induction & Sets.
Format:	Electronic eBook

Logic, induction and sets

Authors: Förster, Thomas (Historian)
Published: Cambridge University Press, 2003

Physical Description: x, 234 pages : illustrations ; 24 cm.

Book