Mathematical logic books

5407 books were found.

Line Drawing Interpretation

Line Drawing Interpretation
Author: Martin Cooper, Ph. (Consultant Surgeon, Royal Devon and Exeter Hospital, Exeter, UK) ISBN: 9781283250863 Format: Electronic book text	$366.96
Based on the author 's considerable research, this book contains state-of-the-art reviews of work in drawing interpretation... Read More >>

Fuzzy Engineering Economics with Applications

Fuzzy Engineering Economics with Applications
Author: Cengiz Kahraman (Department of Industrial Engineering, Istanbul Technical University, Istanbul, Turkey) ISBN: 9781283437967 Format: Undefined	$472.56
Read More >>

Best Practices in Adolescent Literacy Instruction, First Edition

Best Practices in Adolescent Literacy Instruction, First...
Author: Heather Sheridan-Thomas , Kathleen Hinchman ISBN: 9781281752888 Format: Electronic book text	$163.68
Covering everything from day-to-day learning activities to schoolwide goals, this engaging book reviews key topics... Read More >>

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Applied Proof Theory: Proof Interpretations and Their...
Author: U Kohlenbach ISBN: 9781281493781 Format: Undefined	$287.76
This book presents an applied form of proof theory that has led to new results in number theory, approximation theory,... Read More >>

Computational Prospects of Infinity: Part II: Presented Talks. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Volume 15.

Computational Prospects of Infinity: Part II: Presented...
Author: Chitat Chong , Qi Feng ISBN: 9781281955968 Format: Electronic book text	$425.04
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of... Read More >>

Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing
Author: David Makinson ISBN: 9781283437882 Format: Electronic book text	$131.87
Read More >>

McGraw-Hill's Spanish Student Dictionary: Just the Essential Words Beginners Need to Know

McGraw-Hill's Spanish Student Dictionary: Just the Essential...
Author: ISBN: 9781281761552 Format: Electronic book text	$28.91
The words you need, quickly and easily Especially designed for beginning learners, this dictionary will help you... Read More >>

Comprehension Assessment: A Classroom Guide

Comprehension Assessment: A Classroom Guide
Author: Joanne Caldwell ISBN: 9781281752949 Format: Electronic book text	$195.36
Read More >>

Computational Prospects of Infinity: Part I Tutorials. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, Volume 14.

Computational Prospects of Infinity: Part I Tutorials....
Author: Chitat Chong , Qi Feng ISBN: 9781281934345 Format: Electronic book text	$332.64
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects... Read More >>

Felix Hausdorff - Gesammelte Werke Band III: Mengenlehre (1927,1935) Deskripte Mengenlehre Und Topologie

Felix Hausdorff - Gesammelte Werke Band III: Mengenlehre...
Author: Felix Hausdorff ISBN: 9781281772916 Format: Undefined	$314.16
Band III der Hausdorff-Edition enthalt Hausdorffs Band Mengenlehre', seine veroffentlichten Arbeiten zur deskriptiven... Read More >>

Hugh MacColl: An Overview of His Logical Work with Anthology

Hugh MacColl: An Overview of His Logical Work with Anthology...
Author: S Rahman , J Redmond ISBN: 9781904987499 Format: Paperback	$45.28
Read More >>

Forging New Frontiers: Fuzzy Pioneers I

Forging New Frontiers: Fuzzy Pioneers I
Author: Masoud Nikravesh , Lofti A. Zadeh ISBN: 9783540731818 Format: Hardback	$472.56
The 2005 BISC International Special Event-BISCSE’05 “Forging the frontiers” was held in the University of California,... Read More >>

Computability and Logic 5ed

Computability and Logic 5ed
Author: George S Boolos (Massachusetts Institute of Technology) , John P Burgess (Princeton University, New Jersey) ISBN: 9786612389924 Format: Electronic book text	$522.72
Computability and Logic has become a classic because of its accessibility to students without a mathematical background... Read More >>

The Mathematical Analysis Of Logic: Being An Essay Towards A Calculus Of Deductive Reasoning (1847)

The Mathematical Analysis Of Logic: Being An Essay Towards...
Author: George Boole ISBN: 9780548710524 Format: Paperback	$50.03
Read More >>

Handbook of Paraconsistency

Handbook of Paraconsistency
Author: Jean-Yves Beziau (University of Neuchatel) , Walter A. Carnielli ISBN: 9781904987734 Format: Paperback	$47.87
Read More >>

Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory

Automated Reasoning in Higher-order Logic: Set Comprehension...
Author: Chad E. Brown ISBN: 9781904987574 Format: Paperback	$45.28
Read More >>

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Studies in Computational Intelligence, Volume 20.

Advances in Verification of Time Petri Nets and Timed...
Author: Wojciech Penczek ISBN: 9781280805158 Format: Undefined	$314.16
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong... Read More >>

Literature, Metaphor and the Foreign Language Learner

Literature, Metaphor and the Foreign Language Learner...
Author: Jonathan Picken ISBN: 9786611780494 Format: Electronic book text	$501.60
Theory in reader-response and stylistics traditions supports L2 work with literature as it is valued by students... Read More >>

Induction, Algorithmic Learning Theory, and Philosophy

Induction, Algorithmic Learning Theory, and Philosophy...
Author: Michèle Friend , Norma B. Goethe ISBN: 9781402061264 Format: Hardback	$498.96
The idea of the present volume emerged in 2002 from a series of talks by Frank Stephan in 2002, and John Case in... Read More >>

A New Approach to Quantum Logic

A New Approach to Quantum Logic
Author: Kurt Engesser , Dov M. Gabbay ISBN: 9781904987536 Format: Paperback	$40.75
Read More >>

Game Set and Math: Enigmas and Conundrums

Game Set and Math: Enigmas and Conundrums
Author: Ian Stewart ISBN: 9780486458847 Format: Paperback	$29.99
Twelve essays take a playful approach to mathematics, investigating the topology of a blanket, the odds of beating... Read More >>

Drayage Operations at Seaports

Drayage Operations at Seaports
Author: Rajeev Namboothiri ISBN: 9783836421973 Format: Paperback	$168.96
This book considers daily operations management for a fleet of trucks providing container pickup and delivery service... Read More >>

Goguen Categories: A Categorical Approach to L-fuzzy Relations

Goguen Categories: A Categorical Approach to L-fuzzy...
Author: Michael Winter ISBN: 9781402061639 Format: Hardback	$393.36
Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical... Read More >>

The Many Valued and Nonmonotonic Turn in Logic

The Many Valued and Nonmonotonic Turn in Logic
Author: Dov M. Gabbay (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.) , John Woods (University of British Columbia, Vancouver, Canada) ISBN: 9780444516237 Format: Hardback	$633.60
Suitable for those interested in the development of logic, including researchers, students of logic, history of... Read More >>

Many Valued and Nonmonotonic Turn in Logic, The. Handbook of the History of Logic, Volume 8.

Many Valued and Nonmonotonic Turn in Logic, The. Handbook...
Author: Professor Dov M Gabbay , J Woods ISBN: 9786611028978 Format: Electronic book text	$1188.00
The present volume of the Handbook of the History of Logic brings together two of the most important developments... Read More >>

Page 160 of 217 ... 155 156 157 158 159 160 161 162 163 164 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now