Tools

LEADER 01163cam a2200325I 4500

001 ocm00373057;

005 20141212083035.0;

008 720803s1962 ne a b 001 0 eng ;

010 a| 62003731;

019 a| 12802682;

035 a| (Sirsi) o00373057;

035 a| (OCoLC)373057;

049 a| EREE;

050 00 a| BC135b| .B45;

100 1 a| Beth, Evert Willem.=| ^A25436;

245 10 a| Formal methods ;b| an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.;

300 a| xiv, 170 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Synthese library;

504 a| Includes bibliography.;

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

830 0 a| Synthese library.=| ^A4759;

919 a| BOOK;

596 a| 1;

998 a| 389306;

999 a| BC135 .B45w| LCc| 1i| 30372005874570d| 5/5/2009f| 4/22/2009g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 7/11/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods ; an introduction to symbolic logic and to the study of effective operations in arithmetic and logic.

Author/creator	Beth, Evert Willem
Format	Book
Publication Info	Dordrecht : D. Reidel Pub. Co.; New York : Gordon and Breach, [1962]
Description	xiv, 170 pages : illustrations ; 23 cm.
Subjects	Logic, Symbolic and mathematical.

Series	Synthese library Synthese library. ^A4759
Bibliography note	Includes bibliography.
LCCN	62003731

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	BC135 .B45	✔ Available	Place Hold

Click here for more information about this title