Logic of mathematics : a modern course of classical logic /

Logic of mathematics : a modern course of classical logic /

Bibliographic Details
Main Author: Adamowicz, Zofia
Other Authors: Zbierski, Pawel
Format: Book
Language:English
Published: New York : John Wiley, 1997.
Series:Pure and Applied Mathematics
Subjects:
LOGICA SIMBOLICA
LOGICA MATEMATICA

MARC

LEADER 00000nam a2200000 4500
001 036426
003 AR-CdUFF
005 20150731111246.0
008 050210s1997____||||||||||||||||engld
020 |a 0471060267 
040 |a AR-CdUFF 
041 0 |a eng 
080 |a 164 
100 1 |a Adamowicz, Zofia 
245 1 0 |a Logic of mathematics :   |b a modern course of classical logic /   |c Zofia Adamowicz, Pawel Zbierski. 
260 |a New York :   |b John Wiley,   |c 1997. 
300 |a 260 p. ;   |c 24 cm 
490 0 |a Pure and Applied Mathematics 
504 |a Bibliografía: p. 254-256 
505 0 |a Relational systems. Boolean algebras. Subsystems and Homomorphisms. Operations on Relational Systems. Terms and Formulas. Theories and Models. Substitution of Terms. Theorems and Proofs. Theorems of the Logical Calculus. Definability. Peano Arithmetic. Skolem-Lowenheim Theorems. Ultraproducts. Types of elements. Supplementary Questions. Defining functions in N. Total functions. Imcompleteness of Arithmetic. Arithmetical Consistency. Independence of Goodstein's Theorem. Tarski's Theorem. Matiyasevich's Theorem 
590 |a La Bca. posee 2 ejs. 
650 4 |a LOGICA SIMBOLICA 
650 4 |a LOGICA MATEMATICA 
700 1 |a Zbierski, Pawel 
942 |c LIBRO 
910 |a 164 Ad 199 
923 |d 15/11/9929/11/99 
500 |a Area Filosofía 
952 |0 0  |1 0  |3 EMPASTADA  |4 0  |6 164_AD_199000000000000  |7 0  |9 52750  |a FFYH  |b FFYH  |c Humanidades  |d 2008-02-22  |e A-FOMEC  |l 0  |o 164 Ad 199  |p 046160  |r 2009-06-29  |w 2009-06-29  |y LIBRO 
952 |0 0  |1 0  |3 EMPASTADA  |4 0  |6 164_AD_199000000000000  |7 0  |9 52751  |a FFYH  |b FFYH  |c Humanidades  |d 2008-02-22  |e A-FOMEC  |l 0  |o 164 Ad 199  |p 046207  |r 2009-06-29  |w 2009-06-29  |y LIBRO 
960 |a Corresponde a: Filosofia 
999 |c 40133  |d 40133 

Similar Items