New Arrivals

Normal view MARC view ISBD view

COMPUTER PROGRAMMING AND FORMAL SYSTEMS

By:

Braffort, P

Contributor(s):

Hirschberg, D

Material type: Text

Text

TextPublication details: North-Holland 1963DDC classification:

160 ST9 V.28

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	160 ST9 V.28 (Browse shelf(Opens below))	Link to resource	Available		51024

Total holds: 0

Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: COMPACT STORAGE (BASEMENT) Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	160 ST9 V.21 THE FOUNDATIONS OF MATHEMATICS	160 ST9 V.26 LINCOS	160 ST9 V.27 THE LOGICAL SYSTEMS OF LESNIEWSKI	160 ST9 V.28 COMPUTER PROGRAMMING AND FORMAL SYSTEMS	160 ST9 V.29 EQUIVALENTS OF THE AXIOM OF CHOICE	160 ST9 V.30 INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA	160 ST9 V.30 INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA	Next

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

P K Kelkar Library

Indian Institute of Technology, Kalyanpur, Kanpur, U P 208016 India| Web: https://pkklib.iitk.ac.in

Email : librarian@iitk.ac.in | Phone : +91 512 259-7233

Visitor Counter:

Powered by Koha