Author Search Results

Introduction to [lambda]-trees / Ian Chiswell.

Participants: Chiswell, Ian, 1948- [ ]; ProQuest (Firm) [ ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c2001.

Links: Get full text

Mathematical logic / Ian Chiswell and Wilfrid Hodges.

Participants: Chiswell, Ian, 1948- [ ]; ProQuest (Firm) [ ]; Hodges, Wilfrid. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: 2007.
Superior document: Oxford texts in logic ; 3

Links: Get full text