“…The goal is to be a user-friendly program, where logicians can specify and “play” with their calculi. …”
Enlace del recurso
Enlace del recurso

Enlace del recurso

“…Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. …”
Enlace del recurso

“…Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. …”
Enlace del recurso
Enlace del recurso

“…The book is divided into four chronological sections, the first two of which explore Wiener’s development as a philosopher and logician and his brilliant interwar career as a mathematician, supported by his philosophical background. …”
Enlace del recurso
Enlace del recurso

“…Holt offers a painless and playful introduction to many of our most beautiful but least understood ideas, from Einsteinian relativity to string theory, and also invites us to consider why the greatest logician of the twentieth century believed the U.S. …”
Enlace del recurso

“…This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his  seminal  research. …”
Enlace del recurso
Enlace del recurso

“…In addition to showcasing rigorously reviewed modern scholarship on an interesting variety of topics in the history and philosophy of mathematics, this meeting also honored the life and work of the logician and philosopher of mathematics Aldo Antonelli (1962-2015). …”
Enlace del recurso
Enlace del recurso

“…This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context. …”
Enlace del recurso
Enlace del recurso

“…Furthermore, we describe a surface ‘less-logician-like’ syntax that allows application experts to create ontological descriptions of complex biochemical objects without prior knowledge of logic. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Arising from a special session of the history of logic at an American Mathematical Society meeting, the chapters explore technical innovations, the philosophical consequences of work during the period, and the historical and social context in which the logicians worked. The discussions herein will appeal to mathematical logicians and historians of mathematics, as well as philosophers and historians of science. ""...this is an important book. …”
Enlace del recurso
Enlace del recurso

“…This book will be of interest to logicians, mathematicians, philosophers, and linguists.…”
Enlace del recurso
Enlace del recurso

“…The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. …”
Enlace del recurso
Enlace del recurso

“…An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians.…”
Enlace del recurso

“…One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Leśniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). …”
Enlace del recurso
Enlace del recurso

“…This book investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians.…”
Enlace del recurso

“…It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians.…”
Enlace del recurso

“…Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.…”
Enlace del recurso
Enlace del recurso

“…Ontology has long been the preserve of philosophers and logicians. Recently, ideas from this field have been picked up by computer scientists as a basis for encoding knowledge and with the hope of achieving interoperability and intelligent system behavior. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso