|
|
|
|
| LEADER |
01204cam a22003737a 4500 |
| 001 |
BIBLO-3989 |
| 003 |
AR-BaUEN |
| 005 |
20231226174215.0 |
| 008 |
201111s1964 xxu||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 510.6
|
| 100 |
1 |
|
|a Mendelson, Elliot
|
| 245 |
1 |
0 |
|a Introduction to mathematical logic
|
| 260 |
|
|
|a Princeton, N.J. :
|b Van Nostrand,
|c c1964
|
| 300 |
|
|
|a 300 p.
|
| 490 |
0 |
|
|a The university series in undergraduate mathematics
|
| 505 |
0 |
0 |
|t INTRODUCTION
|
| 505 |
0 |
0 |
|g 1.
|t THE PROPOSITIONAL CALCULUS
|
| 505 |
0 |
0 |
|g 2.
|t QUANTIFICATION THEORY
|
| 505 |
0 |
0 |
|g 3.
|t FORMAL NUMBER THEORY
|
| 505 |
0 |
0 |
|g 4.
|t AXIOMATIC SET THEORY
|
| 505 |
0 |
0 |
|g 5.
|t EFFECTIVE COMPUTABILITY
|
| 505 |
0 |
0 |
|t APPENDIX: A CONSISTENCY PROOF FOR FORMAL NUMBER THEORY
|
| 505 |
0 |
0 |
|t BIBLIOGRAPHY
|
| 505 |
0 |
0 |
|t INDEX
|
| 653 |
1 |
0 |
|a LOGICA MATEMATICA
|
| 653 |
1 |
0 |
|a TAUTOLOGIA
|
| 653 |
1 |
0 |
|a TEORIA CUANTICA
|
| 653 |
1 |
0 |
|a TEORIA DE NUMEROS FORMALES
|
| 653 |
1 |
0 |
|a TEORIA DE CONJUNTOS AXIOMATICOS
|
| 653 |
1 |
0 |
|a ALGORITMOS DE MARKOV
|
| 653 |
1 |
0 |
|a ALGORITMOS DE TURING
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|