Hoppa till sidans huvudinnehåll

Logic, Induction and Sets

Häftad, Engelska, 2003

AvThomas Forster

739 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)


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 datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.

Produktinformation

Hoppa över listan

Mer från samma serie

Del 75

An Introduction to the Theory of Graph Spectra

Dragoš Cvetković, Peter Rowlinson, Slobodan Simić, Dragoš Cvetković, Slobodan Simić, Dragos Cvetkovic, Peter (University of Stirling) Rowlinson, Slobodan Simic, Dragos Cvetkovi&#263, Cvetkovi&, Simi&

Inbunden

1 909 kr

Del 3

Local Fields

J. W. S. Cassels, C. M. Series, J. W. Bruce

Häftad

1 109 kr