Cargando…

Handbook of Mathematical Logic.

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Barwise, Jon
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington : Elsevier, 1989.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_ocn437112416
003 OCoLC
005 20240329122006.0
006 m o d
007 cr mn|---|||||
008 090817s1989 vtu o 000 0 eng d
040 |a MERUC  |b eng  |e pn  |c MERUC  |d OCLCQ  |d EBLCP  |d OCLCQ  |d IDEBK  |d OCLCQ  |d OCLCO  |d OCLCQ  |d UKDOC  |d OCLCQ  |d SGP  |d OCLCO  |d OCLCF  |d OCLCQ  |d OCLCO 
019 |a 476274311  |a 741344006 
020 |a 9780080933641  |q (electronic bk.) 
020 |a 0080933645  |q (electronic bk.) 
029 1 |a AU@  |b 000070392083 
035 |a (OCoLC)437112416  |z (OCoLC)476274311  |z (OCoLC)741344006 
050 4 |a QA9 
082 0 4 |a 511.3 
049 |a UAMI 
100 1 |a Barwise, Jon. 
245 1 0 |a Handbook of Mathematical Logic. 
260 |a Burlington :  |b Elsevier,  |c 1989. 
300 |a 1 online resource (1179 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 
505 0 |a Front Cover; Handbook of Mathematical Logic; Contributors; Copyright Page; Part A: Model Theory; Foreword; Table of Contents; Part B: Set Theory; Part C: Recursion Theory; Part D: Proof Theory And Constructive Mathematics Guide To Part D; Author Index; Subject Index. 
520 |a The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own. 
588 0 |a Print version record. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Logic, Symbolic and mathematical. 
650 4 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
776 1 |z 9780444863881 
830 0 |a Studies in logic and the foundations of mathematics. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=428594  |z Texto completo 
938 |a 123Library  |b 123L  |n 42212 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL428594 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 216918 
994 |a 92  |b IZTAP