pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: LOGIC FROM RUSSELL TO CHURCH
By: Dov M. Gabbay (Editor), John Woods
Format: Electronic book text

List price: £130.00


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 0080885470
ISBN 13: 9780080885476
Publisher: ELSEVIER SCIENCE & TECHNOLOGY
Pub. date: 26 May, 2009
Series: Handbook of the History of Logic v. 5
Pages: 1068
Description: Covers the development of mathematical logic in the twentieth century. This book focuses on the achievements of the great names of the period Russell, Post, Godel, Tarski, Church, and the like. It is suitable for students and researchers in the history of logic, the history of philosophy, mathematics, and computer science.
Synopsis: This volume is number five in the eleven volume "Handbook of the History of Logic". It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period Russell, Post, Godel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. There is no other such work in English. Authors of chapters are leading scholars. Some chapters are the size of small monographs. The entire range of modal logic is covered.This title is a singular contribution to the intellectual history of the 20th century. It contains the latest scholarly discoveries and interpretative insights.
Publication: Netherlands
Imprint: North-Holland Publishing Co
Returns: Non-returnable
Some other items by this author:
"FREEMASONARY" AND RITUAL WORK (PB)
10 MINUTE GUIDE TO TEAMS AND TEAMWORK (PB)
A NEW APPROACH TO QUANTUM LOGIC (PB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (HB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (PB)
A PRACTICAL LOGIC OF COGNITIVE SYSTEMS (HB)
ABDUCTIVE REASONING AND LEARNING (HB)
ABDUCTIVE REASONING AND LEARNING (PB)
ADVANCES IN TEMPORAL LOGIC (HB)
ADVANCES IN TEMPORAL LOGIC (PB)
AGENDA RELEVANCE: A STUDY IN FORMAL PRAGMATICS (HB)
AMERICAN SOCIETY FOR TRAINING AND DEVELOPMENT TRAINING AND PERFORMANCE YEARBOOK (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (PB)
APPROACHES TO LEGAL RATIONALITY (HB)
APPROACHES TO LEGAL RATIONALITY (PB)
ARGUMENT (PB)
ARISTOTLE'S EARLIER LOGIC
ASIA PACIFIC BUSINESS TRAVEL GUIDE (PB)
BELIEF CHANGE (PB)
BLACK MARIGOLDS (HB)
BLACK MARIGOLDS (PB)
BOYS WHO HAVE ABUSED
BOYS WHO HAVE ABUSED (PB)
BOYS WHO HAVE ABUSED (PB)
BRITISH LOGIC IN THE NINETEENTH CENTURY
BRITISH LOGIC IN THE NINETEENTH CENTURY (HB)
COMPILED LABELLED DEDUCTIVE SYSTEMS (HB)
COMPROMISE (PB)
COMPUTATIONAL LOGIC
COMPUTATIONAL LOGIC (HB)
COMPUTATIONAL METHODS FOR THE ATMOSPHERE AND THE OCEANS
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (PB)
CULLIGAN''S WALK (PB)
DUNE (HB)
DYNAMIC SYNTAX (HB)
DYNAMIC SYNTAX (PB)
EARLY WESTERN TRAVELS
EARLY WESTERN TRAVELS (HB)
EARLY WESTERN TRAVELS (PB)
EARLY WESTERN TRAVELS: COMPRISING, I. JO (HB)
ERRORS OF REASONING. NATURALIZING THE LOGIC OF INFERENCE (PB)
FALLACIES (HB)
FALLACIES (PB)
FIBRING LOGICS (HB)
FORENSIC GROUP PSYCHOTHERAPY
FORENSIC GROUP PSYCHOTHERAPY
FORENSIC GROUP PSYCHOTHERAPY (PB)
FRONTIERS OF COMBINING SYSTEMS (HB)
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE (HB)
GAMBLING ADDICTION EXPLAINED.
GENERAL PHILOSOPHY OF SCIENCE: FOCAL ISSUES (HB)
GOAL-DIRECTED PROOF THEORY (HB)
GOAL-DIRECTED PROOF THEORY (PB)
GOD IS IN THE HOUSE
GREEK, INDIAN AND ARABIC LOGIC
GREEK, INDIAN AND ARABIC LOGIC (HB)
GROWTH OF TELECOMMUNICATION SERVICES
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 1: LOGIC FOUNDATIONS (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 2: DEDUCTION METHODOLOGIES (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 3: NONMONOTONIC REASONING AND UNCERTAIN REASONING (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 5: LOGIC PROGRAMMING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 2. BACKGROUND: COMPUTATIONAL STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 3. SEMANTIC STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 4. SEMANTIC MODELLING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 5. ALGEBRAIC AND LOGICAL STRUCTURES (HB)
HANDBOOK OF PARACONSISTENCY (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES (HB)
HANDBOOK OF TABLEAU METHODS (HB)
HANDBOOK OF TABLEAU METHODS (PB)
HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE (HB)
HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE (HB)
HUMAN SURVIVABILITY IN THE 21ST CENTURY (PB)
INCONSISTENCY ROBUSTNESS
INDUCTIVE LOGIC
INDUCTIVE LOGIC (HB)
INTERPOLATION AND DEFINABILITY (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (PB)
IS LEGAL REASONING IRRATIONAL? AN INTROD (PB)
LABELLED DEDUCTION (HB)
LABELLED DEDUCTION (PB)
LABELLED DEDUCTIVE SYSTEMS (HB)
LOGIC
LOGIC AND THE MODALITIES IN THE TWENTIETH CENTURY (HB)
LOGIC COLLOQUIUM 92 (HB)
LOGIC COLLOQUIUM 92 (PB)
LOGIC FOR ARTIFICIAL INTELLIGENCE AND INFORMATION TECHNOLOGY (PB)
LOGIC FROM RUSSELL TO CHURCH (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (PB)
LOGIC: A HISTORY OF ITS CENTRAL CONCEPTS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (PB)
LOGIQUE DYNAMIQUE DE LA FICTION. POUR UNE APPROCHE DIALOGIQUE (PB)
LOGOS AND LANGUAGE (PB)
MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC I (PB)
MEDIAEVAL AND RENAISSANCE LOGIC
MEDIAEVAL AND RENAISSANCE LOGIC (HB)
META-LOGICAL INVESTIGATIONS IN ARGUMENTATION NETWORKS (PB)
MULTIDIMENSIONAL SIGNAL, IMAGE, AND VIDEO PROCESSING AND CODING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (PB)
NEURAL-SYMBOLIC LEARNING SYSTEMS (PB)
NEW TECHNOLOGY FOR OCEAN SCIENCE (PB)
OCEAN FORECASTING (HB)
OCEAN FORECASTING (PB)
PARADOX AND PARACONSISTENCY
PARADOX AND PARACONSISTENCY (HB)
PARADOX AND PARACONSISTENCY (PB)
PEACE IN MY TIME? (PB)
PHILOSOPHY OF ANTHROPOLOGY AND SOCIOLOGY (HB)
PHILOSOPHY OF BIOLOGY (HB)
PHILOSOPHY OF COMPLEX SYSTEMS
PHILOSOPHY OF COMPLEX SYSTEMS (HB)
PHILOSOPHY OF ECOLOGY
PHILOSOPHY OF ECOLOGY (HB)
PHILOSOPHY OF ECONOMICS
PHILOSOPHY OF INFORMATION (HB)
PHILOSOPHY OF LINGUISTICS
PHILOSOPHY OF LINGUISTICS (HB)
PHILOSOPHY OF MATHEMATICS
PHILOSOPHY OF MATHEMATICS (HB)
PHILOSOPHY OF MEDICINE
PHILOSOPHY OF MEDICINE (HB)
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE (HB)
PHILOSOPHY OF STATISTICS
PHILOSOPHY OF STATISTICS (HB)
PHILOSOPHY OF TECHNOLOGY AND ENGINEERING SCIENCES (HB)
PRACTICAL REASONING (PB)
PRINCE OF WALES
PRINCE OF WALES (HB)
PROOF THEORY FOR FUZZY LOGICS (PB)
QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING (PB)
QUANTIFICATION IN NONCLASSICAL LOGIC
QUANTIFICATION IN NONCLASSICAL LOGIC (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (PB)
RADIO DIALOGS II (PB)
RAMASES SPOKE (PB)
REACTIVE KRIPKE SEMANTICS (HB)
REACTIVE KRIPKE SEMANTICS (PB)
REVISION, ACCEPTABILITY AND CONTEXT (HB)
REVISION, ACCEPTABILITY AND CONTEXT (PB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (HB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (PB)
SETS AND EXTENSIONS IN THE TWENTIETH CENTURY
SETS AND EXTENSIONS IN THE TWENTIETH CENTURY (HB)



Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket