Location & Availability for: Formal methods : an introduction to symb

 Staff view

You must be logged in to Tag Records

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

Book Cover
Main Author: Beth, Evert Willem
Published: Dordrecht, D. Reidel Pub. Co.; [1962]
Series: Synthese library.
Topics: Logic, Symbolic and mathematical
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.

Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Formal methods : an introduction to symb