Cargando…
Logic from Russell to Church.
This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, G�odel, Tarski, Church...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
North Holland,
�2009.
|
| Colección: | Handbook of the History of Logic ;
5. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn429898411 | ||
| 003 | OCoLC | ||
| 005 | 20231117032828.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090810s2009 ne ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d CDX |d OPELS |d IDEBK |d OCLCQ |d OCLCF |d OCLCO |d N$T |d BTCTA |d YDXCP |d MERUC |d OCLCO |d OCLCQ |d D6H |d UAB |d LEAUB |d S2H |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 311787797 |a 427335227 |a 1037667984 | ||
| 020 | |a 9780444516206 | ||
| 020 | |a 0444516204 | ||
| 020 | |a 9780080885476 |q (electronic bk.) | ||
| 020 | |a 0080885470 |q (electronic bk.) | ||
| 035 | |a (OCoLC)429898411 |z (OCoLC)311787797 |z (OCoLC)427335227 |z (OCoLC)1037667984 | ||
| 050 | 4 | |a BC15 |b .L64 2009 | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 245 | 0 | 0 | |a Logic from Russell to Church. |
| 260 | |a Amsterdam : |b North Holland, |c �2009. | ||
| 300 | |a 1 online resource (xii, 1056 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 Handbook of the History of Logic ; |v 5 | |
| 520 | |a This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, G�odel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts ; set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. | ||
| 505 | 0 | |a Russell's Logic / (Andrew D. Irvine) -- Logic for Meinongian Object Theory Semantics / (Dale Jacquette) -- The Logic of Brouwer and Heyting / (Joan Rand Moschovakis) -- Thoralf Albert Skolem / (Jens Erik Fenstad and Hao Wang) -- The Logic of the Tractatus / (Michael Potter) -- Lesniewski's Logic / (Peter Simons) -- Hibert's Proof Theory / (Wilfried Sieg) -- Hilbert's Epsilon Calculus and its Successors / (Hartly Slater) -- G�odel's Logic / (Mark van Atten and Juliette Kennedy) -- Tarski's Logic / (Keith Simmons) -- Emil Post / (Alasdair Urquhart) -- Gentzen's Logic / (Jan von Plato) -- Lambda-calculus and Combinators in the 20th Century / (Felice Cardone and J. Roger Hindley) -- The Logic of Church and Curry / (Jonathan P. Seldin) -- Paradoxes, Self-reference and Truth in the Twentieth Century / (Andrea Cantini). | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Logic |x History. | |
| 650 | 0 | |a Logic |v Early works to 1800. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic |2 fast |0 (OCoLC)fst01002014 | |
| 655 | 7 | |a Early works |2 fast |0 (OCoLC)fst01411636 | |
| 655 | 7 | |a History |2 fast |0 (OCoLC)fst01411628 | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 700 | 1 | |a Woods, John |q (John Hayden) | |
| 776 | 0 | 8 | |i Print version: |t Logic from Russell to Church. |b 1. ed. |d Amsterdam ; Boston : North Holland, 2009 |z 0444516204 |z 9780444516206 |w (OCoLC)173087067 |
| 830 | 0 | |a Handbook of the History of Logic ; |v 5. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444516206 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/handbooks/18745857/5 |z Texto completo |