Search results
results: 83
-
Elsevier Science, 2004 ISBN: 9780080532875Description:With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered...
Continue readingPLN Gross price list -
Elsevier Science, 1994 ISBN: 9780080571591Description:While for the majority of physicists the problem of the deciphering of the brain code, the intelligence code, is a matter for future generations, the...
Continue readingPLN Gross price list -
Theory of Relations
R. Fraisse
Elsevier Science, 2000 ISBN: 9780080519111Description:Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among...
Continue readingPLN Gross price list -
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
Antonella Cupillari
Elsevier Science, 2023 ISBN: 9780323990219Description:The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The...
Continue readingPLN Gross price list -
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
Antonella Cupillari
Elsevier Science, 2011 ISBN: 9780123822185Description:The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs...
Continue readingPLN Gross price list -
Elsevier Science, 2014 ISBN: 9781483267982Description:The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations is a collection of papers presented at...
Continue readingPLN Gross price list -
Elsevier Science, 2007 ISBN: 9780080549392Description:The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic...
Continue readingPLN Gross price list -
Elsevier Science, 2012 ISBN: 9780444598905Description:CCITT (now ITU-T) Specification and Description Language (SDL) and systems engineering (formal and informal) in SDL are considered in this publication...
Continue readingPLN Gross price list -
Mathematical logic Expert systems / knowledge-based systems Algorithms & data structures Discrete mathematicsElsevier Science, 2014 ISBN: 9780080917283Description:This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists...
Continue readingPLN Gross price list -
Elsevier Science, 2011 ISBN: 9780080960371Description:The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a shortconference in Mathematical Logic...
Continue readingPLN Gross price list
- Free access
- Trial access
- Open access
- Subscription
- With time limit
- Purchased