Formal methods an introduction to symbolic logic and to the study of effective operations in arithmatic and logic
Material type:
TextLanguage: English Series: Synthese LibraryPublication details: Dordrecht D Reidel 1962Description: xiv,170p. cmSubject(s): DDC classification: - R14, K2,K2;1-;2-;3 (PD) (TTR)
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Arts Library | Arts Library | R14 K2,K2;1-;2-;3 (PD) (TTR) (Browse shelf(Opens below)) | Available | AL0270179 |
There are no comments on this title.
Log in to your account to post a comment.