Normal view MARC view ISBD view

Mathematical logic in the 20th century [electronic resource] / [edited by] Gerald E. Sacks.

Publisher: Singapore : River Edge, NJ : Singapore University Press : World Scientific, c2003Description: xiii, 693 p. : ill. ; 26 cm.Other title: Mathematical logic in the twentieth century.Subject(s): Logic, Symbolic and mathematicalGenre/Form: Electronic books.DDC classification: 511.3 Online resources: An electronic book accessible through the World Wide Web; click to view

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

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	511.3 Proof, logic, and formalization	511.3 Proof and knowledge in mathematics	511.3 Gödel's incompleteness theorems	511.3 Mathematical logic in the 20th century	511.3 Logic for concurrency and synchronisation	511.3 Mathematical logic in Asia	511.3 Mathematical logic	Next

Includes bibliographical references.

TSLHHL

Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

Taylor's Library