Cargando…

Elements of mathematical logic (Model theory)

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kreisel, Georg, Krivine, J. L. (Jean Louis) (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Indeterminado
Publicado: Amsterdam, North Holland Pub. Co., 1967.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 4500
001 SCIDIR_ocn300329164
003 OCoLC
005 20231117032827.0
006 m o d
007 cr unu---uuaua
008 090129s1967 ne ob 000 0 eng d
040 |a OCLCE  |b eng  |e pn  |c OCLCE  |d OCL  |d OPELS  |d OCLCQ  |d OCLCO  |d OPELS  |d OCLCF  |d OCLCQ  |d OCLCO  |d DEBSZ  |d OCLCQ  |d LEAUB  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO  |d COM  |d OCLCQ  |d OCLCO 
019 |a 428102198  |a 562905376  |a 1086521102 
020 |a 9780444534125 
020 |a 0444534121 
035 |a (OCoLC)300329164  |z (OCoLC)428102198  |z (OCoLC)562905376  |z (OCoLC)1086521102 
041 1 |a eng  |h und 
042 |a dlr 
050 4 |a QA9  |b .K7713 
082 0 4 |a 164 
084 |a 31.10  |2 bcl 
100 1 |a Kreisel, Georg. 
240 1 0 |a El�ements de logique math�ematique, theorie des mod�eles.  |l English 
245 1 0 |a Elements of mathematical logic  |b (Model theory)  |c [By] G. Kreisel and J.L. Krivine. 
260 |a Amsterdam,  |b North Holland Pub. Co.,  |c 1967. 
300 |a 1 online resource (xi, 222 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics 
500 |a Translation of: El�ements de logique math�ematique, theorie des mod�eles. 
588 0 |a Print version record. 
504 |a Includes bibliographical references. 
505 0 |a Propositional calculus -- Predicate calculus -- Predicate calculus with equality -- Elimination of Quantifiers -- Predicate calculus with several types of objects : the hierarchy of finite types -- Definability -- Principal models : models of infinite formulas. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et math�ematique.  |0 (CaQQLa)201-0001166 
650 7 |a Logic, Symbolic and mathematical  |2 fast  |0 (OCoLC)fst01002068 
700 1 |a Krivine, J. L.  |q (Jean Louis),  |e author. 
776 0 8 |i Print version:  |a Kreisel, Georg.  |s El�ements de logique math�ematique, theorie des mod�eles. English.  |t Elements of mathematical logic.  |d Amsterdam, North Holland Pub. Co., 1967  |w (DLC) 67020006  |w (OCoLC)526311 
830 0 |a Studies in logic and the foundations of mathematics. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444534125  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/48  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=48  |z Texto completo