categories

Traffic and Vehicles Catalogue
socreal.catalog
Advertisement Catalogue
Photo Catalogue
Chinese and Japanese Catalogue
New Holy Card Catalogue II.
12 interesting old books
Books
- Logic Puzzles
- Child Rearing
- Albums
- Speleology
- Mining
- Bestseller
  - Historical adventure story
  - Crime Stories
- Bibliography
- Mode, mode history
- Other
- Eroticism
- Essay
- Ethology
- Esoteric books
  - Astrology
  - Esoteric philosophy
  - Feng shui
  - Easten studies
  - Mistic
  - Magic, witchcraft
  - Meditation, Yoga
  - Occultism, spiritualiti
- Biography
- Fantasy
- Philosophy
- Geography
  - Geology
  - Other
  - Travel stories
  - Travel guides, Tourist maps
- Gastronomy
  - Wine
  - Cook books
- Alpinism
- Hobby
  - Other
- Humour
- Foreign Language Books
  - Books in English
    - Social Sceinces
    - Literature in English
  - Books in French
  - Books in German
  - Books in Italian
  - Books in Russian
  - Books in Spanish
  - Other languages
- Children's books
  - Required reading
- Informatics
- Literary History
- Informing
- Law
- Calendar
- Gardening
- Comics
- Needlework, Embroidery
- Classical Philology
- Communication
- Book history, typography
- Economy
- Criminalistics
- Lexicons, Handbooks
- Horse, riding
- Media
- Bee-keeping
- Military, Ordenskunde
- Miniature books
- Arts
  - Design
  - Architecture
  - Movies, Theater
  - Photography
    - Technical books
    - Albums
  - Applied Arts
  - Fine Arts
    - exhibition catalog
  - Furnishings
  - Art album
  - Art history
  - Dance
  - Music
- Ethnography
- Philately, Numismatics
- Linguistics
- Orientalism
- Medical books
  - Natural Medicine
- Pedagogy
- Psychology
  - Self-Help Books
  - Child Psychology
  - Graphology
- Politics
- Archeology
- Old pulp fiction
- Rhetoric
- Promotion
- Science Fiction
- Sports
  - Martial arts
  - Cards
  - Chess
- Literature
  - Novel
  - Drama
  - Poetry
  - Contemporary Hungarian Literature
  - International Modern Classics
- Social Psychology
- Sociology
- Entertaining Literature
- Dictionary, Language books
- Social science
- Technical books
  - Cars
  - Naval books
  - Transport
  - Airplanes
  - Technical books
  - Product catalogue
  - Railway
- Cartography
- Natural Sciences
  - Biology, Chemistry
  - Fishing
  - Reference Books
  - Pets
  - Mathematics, Physics, Astronomy
  - Agriculture
  - Horticulture, Agriculture
  - Ecology
  - Viticulture
  - Natural Sciences
- Incomplete
- History
  - Local history
  - 20th Century, Politics
  - Hungarian history
  - Old hungarian history
  - Universal history
  - - Numismatics
  - Genealogy
  - Freemasonry
- Newspapers, Magazines
- Hunting
- Religion
  - Judaica
  - Oriental religions
  - Church history, Theology
  - Mythology
Bibliophil
- Autographed, signiert
- First Edition
- Bibliophil
Antiques
- Other
- French
- German
- Latin
- Hungarian
Engraving
- Portrait
- Botany, Zoology
- Ex libris
- Moments of life
- Maps
- City views
  - Foregin countries
  - Hungary
    - Budapest
- Fashion
- Others
Maps
- Hungary
- European country
- Countries outside of Europe
- City maps
  - Budapest
- Atlas
Photos
- Art photography
- Famous People
- Portrait
- Genre photography
- Film / Theatre
- Military
- City views
- Erotica
- Other
Antique Papers, Small Prints
- Postcards
  - Hungary
    - Budapest
  - Abroad
  - Motifs
  - Transylvania
  - Postcard literature
- politics
- Advertisement
  - Drink Label
  - Counting slips
- Old Stocks
- Stocks
- Manuscripts
- Other
  - Icon
Posters
- Children
- Movies
- Original Movieposters
- Movies - Reprint
- Theater, circus
- Concert, music
- Exhibition
- Advertisement
- Politics
- Other
- Posters literature
Circus
Modern Graphics
Socialist Realism
NER Propaganda
Others

cart

Cart is empty

You've not logged in

Boolos, George S. : The Logic of Provability

enlarge image

pre-order

description
additional information

This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.

condition:
category:	Books > Foreign Language Books > Books in English >
category:	Books > Natural Sciences > Mathematics, Physics, Astronomy >
category:	Books > Philosophy >
publisher:	Cambridge University, 1995
item number / ISBN:	9780521483254
binding:	paperback
pages:	275
language:	English