Your search returned 2 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.

by Pereira, Luiz Carlos | Haeusler, Edward Hermann | De Paiva, Valeria | Prawitz, Dag.

Material type: book Book; Format: print regular print festschrift ; Literary form: Not fiction Publisher: Dordrecht : Springer, ©2014Availability: Items available for loan: Pridi Banomyong Library [Call number: BC108.A38 2014] (1).

Open Library:
Dag Prawitz on proofs and meaning / Heinrich Wansing, editor.

by Wansing, H. (Heinrich).

Material type: book Book; Format: print regular print ; Literary form: Not fiction Publisher: Cham : Springer, c2015Availability: No items available Checked out (1).

Open Library:

Thammasat University Library
2 Prachan Road, Phranakorn, Bangkok 10200
Tel: 662 613-3544 (Pridi Banomyong Library, Circulation Desk)
Tel: 662 564-4444 ext. 1305 (Puey Ungphakorn Library (Rangsit Campus), Circulation Desk)