Search results
results: 83
-
Mathematical & statistical software Algorithms & data structures Data encryption Data capture & analysis Mathematical logicElsevier Science, 2001 ISBN: 9780080496467Description:A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the...
Continue readingPLN Gross price list -
Elsevier Science, 2008 ISBN: 9780080922713Description:Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge...
Continue readingPLN Gross price list -
Elsevier Science, 1994 ISBN: 9780080887180Description:The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in...
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 -
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 -
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, 2002 ISBN: 9780080540450Description:Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in...
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 -
Computability Theory: An Introduction to Recursion Theory
Herbert B. Enderton
Elsevier Science, 2010 ISBN: 9780123849595Description:Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary...
Continue readingPLN Gross price list -
Elsevier Science, 2006 ISBN: 9780080466637Description:The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of...
Continue readingPLN Gross price list
- Free access
- Trial access
- Open access
- Subscription
- With time limit
- Purchased