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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Gabbay, Dov M., 1945-, Woods, John (John Hayden)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : North Holland, �2009.
Colección:Handbook of the History of Logic ; 5.
Temas:
Logic > History.
Logic > Early works to 1800.
PHILOSOPHY > Logic.
Logic
Early works
History
Acceso en línea:Texto completo
Texto completo
Tabla de Contenidos:
  • 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).

Ejemplares similares