Higher-order logic and type theory/ John L. Bell

By:

Material type: Text

TextPublication details: Cambridge university press, 2022.Description: 75 pagesISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Barcode
Reference	Kalaignar Centenary Library Madurai	ENGLISH-REFERENCE BOOKS	மூன்றாம் தளம் / Third floor	511.3 BEL (Browse shelf(Opens below))	Not for loan	354919
English Books	Kalaignar Centenary Library Madurai	ENGLISH - LENDING BOOKS	மூன்றாம் தளம் / Third floor	511.3 BEL (Browse shelf(Opens below))	Available	354920
English Books	Kalaignar Centenary Library Madurai	ENGLISH - LENDING BOOKS	மூன்றாம் தளம் / Third floor	511.3 BEL (Browse shelf(Opens below))	Available	354921

Previous								Next
Previous	511.3 AAR Discrete Mathematics	511.3 ANT Proof Techniques And Fundamental Concepts Of Abstract Mathematics	511.3 ANT Proof Techniques And Fundamental Concepts Of Abstract Mathematics	511.3 BEL Higher-order logic and type theory/	511.3 BEL Higher-order logic and type theory/	511.3 BER Winning Ways For Your Mathematical Plays Vol 1 /	511.3 BER Winning Ways For Your Mathematical Plays Vol 2 /	Next

Find us on the map