1. Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
2. Structures of mathematical physics : an introduction

by Starkovich, Steven P.

Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 530.15 STA] (1).

Powered by Koha