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


Dordrecht, D. Reidel Pub. Company; [1962] .

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
BC 135 .B45 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .B45 Off-site
Request
Catholic
WRLC Shared Collections Facility
BC135.B56 F7 Off-site
Request
UDC
Van Ness stacks
BC135 .B45 Available Request
Van Ness stacks
BC135 .B45 Available Request
Van Ness stacks
BC135 .B45 Available Request
George Mason
Fenwick stacks
BC135 .B45 Available Request
Subjects Einführung.
Logic, Symbolic and mathematical.
Logik.
Logique symbolique et mathématique.
Logique.
Series Synthese library.
Description 170 pages illustrations 23 cm.
Copyright Date [1962]
[1962]
Notes Includes bibliographical references.
Also issued online.
Genre Einführung.
Network Numbers (OCoLC)373057
(OCoLC)ocm00373057
WorldCat Search OCLC WorldCat
WorldCat Identities Beth, Evert Willem.
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks