Author: Società Italiana di Logica e Filosofia della Scienza
Publisher:
ISBN:
Category : Logic
Languages : en
Pages :
Book Description
Logica e filosofia della scienza, oggi : atti del congresso ; San Gimignano, 7-11 dicembre 1983. 1. Logica
Author: Società Italiana di Logica e Filosofia della Scienza
Publisher:
ISBN:
Category : Logic
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Logic
Languages : en
Pages :
Book Description
Logica e filosofia della scienza, oggi
Author: Società italiana di logica e filosofia delle scienze. Congresso
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Atti del Congresso di logica e filosofia della scienza, oggi
Atti del Congresso logica e filosofia della scienza, oggi: Epistemologia e logica induttiva
Author:
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 372
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 372
Book Description
Atti del congresso Logica e filosofia della scienza, oggi
Author: V. Michele Abrusci
Publisher:
ISBN:
Category : Logic
Languages : it
Pages :
Book Description
Publisher:
ISBN:
Category : Logic
Languages : it
Pages :
Book Description
Atti del Congresso. Logica e filosofia della scienza, oggi. 2. Epistemologia e logica induttiva
Atti del Congresso Logica e Filosofia della Sciencia, oggi
Logica e filosofia della scienza, Oggi
Logic from Russell to Church
Author: Dov M. Gabbay
Publisher: Elsevier
ISBN: 0080885470
Category : Mathematics
Languages : en
Pages : 1069
Book Description
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, 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, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.• The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights
Publisher: Elsevier
ISBN: 0080885470
Category : Mathematics
Languages : en
Pages : 1069
Book Description
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, 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, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.• The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights
Logic Colloquium '87
Author: H.-D. Ebbinghaus
Publisher: Elsevier
ISBN: 0080880061
Category : Science
Languages : en
Pages : 387
Book Description
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
Publisher: Elsevier
ISBN: 0080880061
Category : Science
Languages : en
Pages : 387
Book Description
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.