Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 004376
 
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

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

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

Enlaces surtidos