• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

Hardcover

Series: Logic in Asia: Studia Logica Library

FictionGeneral ComputersLogic

ISBN10: 9811564582
ISBN13: 9789811564581
Publisher: Springer
Published: Aug 12 2020
Pages: 313
Weight: 1.41
Height: 0.75 Width: 6.14 Depth: 9.21
Language: English
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.

1 different editions

Also available

Also in

Logic