Search results
results: 83
-
A Mathematical Introduction to Logic
Herbert B. Enderton
Elsevier Science, 1972 ISBN: 9780080570389Description:This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory...
Continue readingPLN Gross price list -
Handbook of Mathematical Logic
J. Barwise
Elsevier Science, 1982 ISBN: 9780080933641Description:The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide...
Continue readingPLN Gross price list -
Intensional Mathematics
S. Shapiro
Elsevier Science, 1985 ISBN: 9780080880044Description:``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract...
Continue readingPLN Gross price list -
Elsevier Science, 1985 ISBN: 9780080887654Description:This monograph contains a selection of over 250 propositions which are equivalent to AC. The first part on set forms has sections on the well-ordering...
Continue readingPLN Gross price list -
Harvey Friedman's Research on the Foundations of Mathematics
L.A. Harrington
M.D. Morley
A. Šcedrov
S.G. Simpson
Elsevier Science, 1985 ISBN: 9780080960401Description:This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to...
Continue readingPLN Gross price list -
Elsevier Science, 1986 ISBN: 9780080960395Description:Logic, Methodology and Philosophy of Science VII
Continue readingPLN Gross price list -
Elsevier Science, 1986 ISBN: 9780080880051Description:Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by...
Continue readingPLN Gross price list -
Logic Colloquium '85
The Paris Logic Group
Elsevier Science, 1987 ISBN: 9780444535825Description:The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of...
Continue readingPLN Gross price list -
Elsevier Science, 1987 ISBN: 9780444535832Description:The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of...
Continue readingPLN Gross price list -
Elsevier Science, 1989 ISBN: 9780080867809Description:This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at...
Continue readingPLN Gross price list
- Free access
- Trial access
- Open access
- Subscription
- With time limit
- Purchased