Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Pallas Books.
Beth, Evert W. - Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]
De vraag gaat over de volgende titel:
| Schrijver: | Beth, Evert W. |
|---|---|
| Titel: | Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library] |
| ISBN: | |
| Uitgever: | Dordrecht, D. Reidel Publishing, 1962 |
| Bijzonderheid: | cloth, dustjacket, 8vo xiv+170 pp. |
| Prijs: | € 10,00 |
| Meer info | implicationallogic; sentential logic; completeness of elementary logic; formalization of arithmetic; in machines which prove theorems; very good condition (almost unused, stamp 'archief E.W. Beth' on dustjacket) |
| Boek bekijken | |
Voor boeken boven Euro 45,00 vragen wij betalen vooraf.
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.