Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····cam##22·····5a#4500 |
001 | 004376 |
005 | 20130312154457.0 |
008 | 720803s1962####ne#######b####001#0#eng## |
245 | 10 | $a Formal methods : $b an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / $c Evert W. Beth. |
260 | ## | $a Dordrecht, Holland : $b D. Reidel, $c c1962. |
300 | ## | $a xiv, 170 p. ; $c 23 cm. |
440 | #0 | $a Synthese library |
504 | ## | $a Bibliografía: p. 164-167. |
505 | 0# | $a 1. Purely implicational logic -- 2. Full sentential logic -- 3. Theory of quantification, equality, and functionality -- 4. Completeness of elementary logic -- 5. The formalization of arithmetic and its limitations -- 6. The theory of definition -- 7. On machines which prove theorems -- Appendix: Supplementary explanations. |
510 | 4# | $a MR, $c 28 #3920 |
100 | 1# | $a Beth, Evert Willem. |
084 | ## | $a 03B10 (03B35) $2 msc2000 |
650 | #0 | $a Logic, Symbolic and mathematical. |
010 | ## | $a ###62003731# |
040 | ## | $a DLC $c ODaWU $d OCoLC $d DLC |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com