Normal view MARC view ISBD view

What is a logical system?

Material type: materialTypeLabel

BookPublisher: Oxford: Oxford University Press, 1995Description: x, 454 p.; ill.: 25 cm.ISBN: 9780198538592 .Subject(s): Logic, Symbolic and mathematical | Computer science | Mathematical logicDDC classification: 511.3

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.3 GAB (Browse shelf)	Available		024753

Previous								Next
Previous	511.3 FRA Godel's theorem : an incomplete guide to its use and abuse	511.3 FRI Computing with cells : advances in membrane computing	511.3 GAB Many-dimensional modal logics theory and applications	511.3 GAB What is a logical system?	511.3 GAB Interpolation and definability : modal and intuitionistic logics	511.3 GEN Godel's theorem simplified	511.3 GER Introduction to Mathematical Structures and Proofs	Next

There are no comments for this item.

Koha online