Kerala University Library

Your cart is empty.

Cart
Lists
Public lists 09.04.2025 Achuth 04.04.2025 15.03.2025 10.03.2025 07.02.2025 16.01.2025 04.01.2025 21.12.2024 13.12.2024 View all
Your lists Log in to create your own lists

Log in to your account
Your cookies
Search history

Search the catalog by:

Search the catalog by keyword

Search the catalog in:

Advanced search
Authority search
Tag cloud
Libraries

Log in to your account

Card number or username: Password:

Home
ISBD view for Dynamic logic /

Normal view MARC view ISBD view

Dynamic logic /

Harel, David

Dynamic logic / - New Delhi : Prentice Hall of India , 2000. - xv+459

ISBN: 8120331716

Subjects--Index Terms: Engineering, Logic

Dynamic logic /

APA

Harel D., Kozen & Tiuryn J. (2000). Dynamic logic. New Delhi: Prentice Hall of India.

Chicago

Harel David, Kozen and Tiuryn Jerzy. 2000. Dynamic logic. New Delhi: Prentice Hall of India.

Harvard

Harel D., Kozen and Tiuryn J. (2000). Dynamic logic. New Delhi: Prentice Hall of India.

MLA

Harel David, Kozen and Tiuryn Jerzy. Dynamic logic. New Delhi: Prentice Hall of India. 2000.

Place hold
Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

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

Exporting to Dublin Core...

Simple DC-RDF

OAI-DC

SRW-DC

Designed & Maintained by: CCF & University Library
University of Kerala