Logic Colloquium '87 (Enhanced Edition) Logic Colloquium '87 (Enhanced Edition)

Logic Colloquium '87 (Enhanced Edition‪)‬

H.-D. Ebbinghaus and Others
    • $214.99
    • $214.99

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

GENRE
Science & Nature
RELEASED
2000
1 April
LANGUAGE
EN
English
LENGTH
522
Pages
PUBLISHER
Elsevier Science
SELLER
Elsevier Ltd.
SIZE
8.6
MB
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
1998
Gödel's Disjunction Gödel's Disjunction
2016
Handbook of Logic and Language Handbook of Logic and Language
2010
Proof and Computation Proof and Computation
2018
The Logical Foundations of Scientific Theories The Logical Foundations of Scientific Theories
2016
Mathematical Logic: Questions and Answers Mathematical Logic: Questions and Answers
2018