Tools

LEADER 01727cam a2200385 4500

001 ocm00118480;

005 20141212060830.0;

008 710106s1970 maua b 001 0 eng ;

010 a| 71116736;

020 a| 0674318447;

035 a| (Sirsi) o00118480;

035 a| (OCoLC)118480;

037 c| $6.00;

041 1 a| enga| ger;

049 a| EREE;

050 00 a| QA9b| .V28;

082 0 a| 164;

100 1 a| Van Heijenoort, Jean,d| 1912-1986.=| ^A100355;

245 10 a| Frege and Gödel ;b| two fundamental texts in mathematical logic.;

260 a| Cambridge, Mass. :b| Harvard University Press,c| 1970.;

300 a| 116 pages :b| illustrations ;c| 26 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931.";

505 0 a| Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]- 116);

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Mathematicsx| Philosophy.=| ^A14926;

700 12 a| Frege, Gottlob,d| 1848-1925.t| Begriffsschrift.l| English.f| 1970.=| ^A21330;

700 1 a| Gödel, Kurt.=| ^A45470;

919 a| BOOK;

596 a| 1;

998 a| 336833;

999 a| QA9.V28w| LCc| 1i| 30372005074254d| 1/31/2013l| JGESm| JOYNERq| 2r| Ys| Yt| JGESBKu| 2/8/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Frege and Gödel ; two fundamental texts in mathematical logic.

Author/creator	Van Heijenoort, Jean
Other author	Gödel, Kurt.
Format	Book
Publication Info	Cambridge, Mass. : Harvard University Press, 1970.
Description	116 pages : illustrations ; 26 cm
Subjects	Logic, Symbolic and mathematical. Mathematics--Philosophy.

Contents	Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]- 116)
General note	"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
LCCN	71116736
ISBN	0674318447
Stock number	$6.00

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.V28	✔ Available	Place Hold

Frege and Gödel ; two fundamental texts in mathematical logic.

Click here for more information about this title

Availability