1 option
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs / Ivo Düntsch, Edwin Mares, editors.
- Format:
- Book
- Series:
- Outstanding contributions to logic ; 2211-2766 volume 22.
- Outstanding contributions to logic, 2211-2766 ; volume 22
- Language:
- English
- Subjects (All):
- Urquhart, Alasdair.
- Logic, Symbolic and mathematical.
- Lattice theory.
- Logic--History.
- Logic.
- History.
- Physical Description:
- 1 online resource : illustrations (some color).
- Place of Publication:
- Cham : Springer, [2022]
- [Place of publication not identified] : [publisher not identified], [2022]
- System Details:
- text file
- Contents:
- Part 1: Introduction
- Chapter 1. Brief introduction by the editors
- Chapter2. Overview of Urquhart's work
- Chapter 3. Autobiographical Essay by Urquhart
- Part 2: Papers on algebraic logic and lattice theory
- Part 3: Papers on the complexity of proofs
- Part 4: Papers on philosophical logic and papers on history of logic
- Part 5: A response to the papers by Urquhart.
- Notes:
- Electronic reproduction. Ann Arbor, MI Available via World Wide Web.
- Online resource; title from PDF title page (SpringerLink, viewed October 6, 2021).
- Local Notes:
- Acquired for the Penn Libraries with assistance from the Edward Potts Cheyney Memorial Fund.
- ISBN:
- 9783030714307
- 3030714306
- Publisher Number:
- 99988639982
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.