|
|
|
|
LEADER |
01023nam a2200265a 44500 |
001 |
UBP02361 |
003 |
AR-CdUBP |
005 |
20220310151751.0 |
008 |
151212s1968#######|||||||||||||||||eng|d |
040 |
|
|
|a AR-CdUBP
|b spa
|
041 |
|
|
|a eng
|
100 |
|
|
|a Kleene, Stephen Cole
|
245 |
1 |
0 |
|a Mathematical logic /
|c Stephen Cole Kleene.
|
260 |
|
|
|a New York :
|b John Wiley,
|c 1968
|
300 |
|
|
|a xiii, 398 p. ;
|c 22 cm.
|
504 |
|
|
|a Bibliografía: p. 371-385.
|
505 |
0 |
|
|a Part 1. ELEMENTARY MATHEMATICAL LOGIC. Chapter I. The Propositional Calculus. Chapter II. The Predicate Calculus. Chapter III. The Predicate Calculus with equality. Part II. MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS. Chapter IV. The foundations of mathematics. Chapter V. Computability and Decidability. Chapter VI. The predicate calculus (Additional topics).
|
650 |
|
4 |
|a LOGICA MATEMATICA
|
653 |
|
|
|a LOGICA
|
930 |
|
|
|a LOGICA
|
931 |
|
|
|a 02361
|b UBP
|
942 |
|
|
|2 cdu
|c BK
|
945 |
|
|
|a EBA
|
984 |
|
|
|a 164
|b K672
|
999 |
|
|
|c 17940
|d 17940
|