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
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: HIGHER-ORDER LOGIC AND TYPE THEORY
By: John L. Bell
Format: Paperback / softback

List price: £17.00
Our price: £15.30
Discount:
10% off
You save: £1.70
ISBN 10: 1108986900
ISBN 13: 9781108986908
Availability: Usually dispatched within 3-5 days.
 Delivery rates
Stock: Currently 1item in stock
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 30 April, 2022
Edition: New ed
Series: Elements in Philosophy and Logic
Pages: 75
Description: An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.
Illustrations: Worked examples or Exercises; Worked examples or Exercises
Returns: Returnable
Some other items by this author:
A FAMILY AFFAIR
A PRIMER OF INFINITESIMAL ANALYSIS
A PRIMER OF INFINITESIMAL ANALYSIS
A PRIMER OF INFINITESIMAL ANALYSIS (HB)
A ROAD TO ROAM
A TOUCHING PLACE (AUD)
ALL THAT MATTERS (PB)
BETWEEN HIGH AND LOW WATER (PB)
CLOTH FOR THE CRADLE (PB)
COME ALL YOU PEOPLE (PB)
CONTINUOUS, THE DISCRETE AND THE INFINITESIMAL IN PHILOSOPHY AND MATHEMATICS
CONTINUOUS, THE DISCRETE AND THE INFINITESIMAL IN PHILOSOPHY AND MATHEMATICS (HB)
COURAGE TO SAY NO (CD)
EH...JESUS...YES, PETER...? (PB)
EH...JESUS...YES, PETER...? (PB)
FENCING IN GOD'S PEOPLE
GOD AND HER GIRLS
GOD NEVER SLEEPS (AUD)
HARD TIMES (PB)
HARD WORDS FOR INTERESTING TIMES (PB)
HARVESTING THE WORLD
HE WAS IN THE WORLD (PB)
HEAVEN SHALL NOT WAIT (CD)
HEAVEN SHALL NOT WAIT (PB)
INNKEEPERS AND LIGHT SLEEPERS (PB)
INNKEEPERS AND LIGHTSLEEPERS (AUD)
INNKEEPERS AND LIGHTSLEEPERS (CD)
INTUITIONISTIC SET THEORY
JESUS AND PETER (PB)
KNOWN UNKNOWNS
LAST JOURNEY
LIFE IN THE COMMA: DEEPENING OUR UNDERSTANDING OF JESUS
LIFE IN THE COMMA: DEEPENING OUR UNDERSTANDING OF JESUS
LONG AND THE SHORT OF IT
LOVE AND ANGER (PB)
LOVE FROM BELOW (CD)
MANY AND GREAT (PB)
NEW SONGS OF CELEBRATION RENDER (HB)
ONE HUNDRED YEARS OF RUSSELL'S PARADOX
ONE HUNDRED YEARS OF RUSSELL'S PARADOX
ONE IS THE BODY (PB)
OPPOSITION AND PARADOXES (PB)
PICTURES OF GOD
PRESENT ON EARTH (PB)
PSALMS OF PATIENCE, PROTEST AND PRAISE (AUD)
PSALMS OF PATIENCE, PROTEST AND PRAISE (CD)
PSALMS OF PATIENCE, PROTEST AND PRAISE (PB)
REMEMBER ME TODAY
SET THEORY (HB)
SET THEORY (PB)
SEVEN SONGS OF MARY (PB)
SEVEN SONGS OF MARY AND SEVEN PSALMS OF DAVID (AUD)
SPARE CHANGE AND GILT-EDGED GRACE
ST. COLUMBA OF IONA
STAGES ON THE WAY (PB)
STATES OF BLISS AND YEARNING (PB)
SWEET HONEY AND HARD PLACES
THE AXIOM OF CHOICE (PB)
THE COURAGE TO SAY NO (PB)
THE LAST JOURNEY (CD)
THE LOVE WHICH HEALS
THE SINGING THING (PB)
THE SINGING THING TOO (PB)
THE TRUTH THAT SETS US FREE (PB)
THERE IS ONE AMONG US (PB)
THINKING OUT LOUD (PB)
THIS IS GOD''S WORLD
WE WALK HIS WAY (CD)
WE WALK HIS WAY (PB)
WHEN GRIEF IS RAW (PB)
WILD GOOSE PRINTS (PB)
WILD GOOSE PRINTS (PB)
WILD GOOSE SONGS (PB)
WILD GOOSE SONGS (PB)
WRESTLE AND FIGHT AND PRAY (PB)



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

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
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
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
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

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket