Theory of formal systems.

Revision	When	Who	Comment

9	February 19, 2023	Stew	Clean up work title
8	February 11, 2023	bitnapper	Merge works (MRID: 46990)
7	September 28, 2020	MARC Bot	import existing book
6	May 17, 2020	CoverBot	Added new cover
5	September 10, 2019	ImportBot	import existing book
4	November 17, 2018	MARC Bot	import existing book
3	August 4, 2010	IdentifierBot	added LibraryThing ID
2	December 14, 2009	WorkBot	link works
1	April 1, 2008		Imported from Scriblio MARC record.