Formal Methods : an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logi / by Evert W. Beth.

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Author: Beth, Evert W.
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands, 1970.
Series:Synthese library ; v. 4.
Subjects:

MARC

LEADER 00000cam a2200000Mi 4500
001 b7998370
006 m o d
007 cr |||||||||||
008 121227s1970 ne o 000 0 eng
005 20240418145135.6
020 |a 9789401032698  |q (electronic bk.) 
020 |a 9401032696  |q (electronic bk.) 
020 |z 9789401032711 
020 |z 9401032718 
035 |a (OCoLC)spr851368302 
035 |a (OCoLC)851368302 
037 |a spr10.1007/978-94-010-3269-8 
040 |a AU@  |b eng  |e pn  |c AU@  |d OCLCQ  |d OCLCO  |d GW5XE  |d OCLCQ 
049 |a GWRE 
050 4 |a BC1-199 
100 1 |a Beth, Evert W. 
245 1 0 |a Formal Methods :  |b an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logi /  |c by Evert W. Beth. 
260 |a Dordrecht :  |b Springer Netherlands,  |c 1970. 
300 |a 1 online resource (188 pages) 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
490 1 |a Synthese Library, A Series of Monographs on the Recent Development of Symbolic Logic, Significs, Sociology of Language, Sociology of Science and of Knowledge, Statistics of Language and Related Fields ;  |v 4. 
650 0 |a Philosophy (General) 
650 0 |a Logic. 
776 0 8 |i Print version:  |z 9789401032711. 
830 0 |a Synthese library ;  |v v. 4. 
856 4 0 |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-94-010-3269-8  |z Full Text (via Springer) 
907 |a .b79983704  |b 07-02-19  |c 06-01-15 
998 |a web  |b 05-01-17  |c f  |d b   |e -  |f eng  |g ne   |h 0  |i 1 
915 |a M 
956 |a Springer e-books 
956 |b Springer Nature - Springer Book Archive - Humanities, Social Science and Law 
956 |a Humanities Social Science & Law 
956 |a Springer e-books: Archive 
999 f f |i 2f67dece-9f8d-5144-8cd7-93d4751b5660  |s b8d3105b-93ab-5803-a29c-dbcbf59f9856 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Online  |c Online  |d Online  |e BC1-199  |h Library of Congress classification  |i Ebooks, Prospector  |n 1