Normal view MARC view ISBD view

Godel's theorem : an incomplete guide to its use and abuse

Material type: materialTypeLabel

BookPublisher: Natick: A K Peters, 2005Description: ix, 172 p.; ill.: 23 cm.ISBN: 9781568812380 .Subject(s): Godel's theorem | Incompleteness theoremsDDC 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 FRA (Browse shelf)	Available		027623

Previous								Next
Previous	511.3 FIT First-order logic and automated theorem proving	511.3 FIT Incompleteness in the land of sets	511.3 FOR Reasoning about theoretical entities	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?	Next

There are no comments for this item.

Koha online