Proof, logic, and formalization / edited by Michael Detlefsen.

Contributor(s):

Material type:

TextPublication details: London ; New York : Routledge, 1992.Description: 241 p. : illISBN:

Subject(s):

LOC classification:

Contents:

HKBU library

Item type:

English Books

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	English Books	MATRIX Library General Eng/FL.3		General Books		QA9 P962 1991 (Browse shelf(Opens below))				C.1	Available			1000385163

Total holds: 0

Browsing MATRIX Library shelves,Shelving location: General Eng/FL.3,Collection: General Books Close shelf browser (Hides shelf browser)

Previous								Next
Previous	QA9 H476 D 2010 Diamond : \| a paradox logic /	QA9 L832 2008 Logic and the foundations of game and decision theory : \| (LOFT 7) /	QA9 M268 A 2010 The adventure of reason : \| interplay between philosophy of mathematics and mathematical logic, 1900-1940 /	QA9 P962 1991 Proof, logic, and formalization /	QA9.54 B545 T 2009 There's something about Gödel : \| the complete guide to the incompleteness theorem /	QA11 J11 I 1994 Investigating mathematics teaching : \| a constructivist enquiry /	QA11 P466 2000 Perspectives on adults learning mathematics : research and practice	Next

HKBU library

YT2025 M10

There are no comments on this title.

to post a comment.