The Bookish Owl

Menu
logoo
Categories
  • General
    • History
    • Lifestyle
    • Biography
    • Parenting
  • Business
  • Children and Teens
  • English Language Teaching
  • Society & social sciences
    • Psychology
    • Sociology & anthropology
  • Law
  • Medicine
    • Clinical & internal medicine
    • Other branches of medicine
    • Pre-clinical medicine: basic sciences
    • Surgery
  • Science & mathematics
    • Biology, life sciences
5
0 ₹0.00
All category
  • All category
  • Abattoir Practice And Animal Product Technology
  • Accessories & Peripherals
  • Action & Adventure
  • Action & Toy Figures
  • Anatomy And Physiology
  • Anesthesiology
  • Animal Culture
  • Art
  • Arts, Film & Photography
  • Bestseller
  • Bestsellers in Biographies
  • Bestsellers in Dictionaries & Thesauruses
  • Bestsellers in Exam Preparation
  • Bestsellers in Indian History
  • Bestsellers in Mangas
  • Bestsellers in Medicine & Health Sciences
  • Bestsellers in School Books
  • Bhagavadgītā
  • Biochemistry
  • Biographies and Memoirs
  • Biology
  • Biomechanics Of Human Motion
  • Biopharmaceutics And Pharmacokinetics
  • Biophysics
  • black clover
  • bleach
  • Blood Banking And Hematology
  • Business
  • Business & Economics
  • Cardiology
  • Cardiovascular And Pulmonary Rehabilitation
  • Chemistry
  • Child Health (Pediatric) Nursing
  • Child Health Nursing
  • Children's Audiobooks
  • Children's Books
    • Activity & Colouring Books
    • Early Readers (6-8)
    • Educational & STEM for Kids
    • Indian Mythology for Kids
    • Middle Grade (9-12)
    • Panchatantra & Fables
    • Picture Books (0-5)
  • Classic Literature
    • Vintage Books
  • Clinical Record Book
  • Comics & Mangas
  • Communication And Educational Technology
  • Community Health Nursing
  • Community Medicine (Psm)
  • Competitive Exams
  • Computer Education
  • Computer Networks
  • Computers
  • Computers & Internet
  • Craft Materials
  • Crafts
  • Crafts, Hobbies & Home
  • Crime, Thriller & Mystery
  • Critical Care
  • d. gray-man
  • Dental Anatomy
  • Dental Materials
  • Dental Sciences
  • Design
  • Dictionary
  • dr stone
  • Dravyaguna Vighyan
  • Economics
  • Education
  • Electrotherapy
  • Emergency Medical Service
  • Emergency Medicine
  • Endocrinology And Diabetology
  • Endodontics And Conservative Dentistry
  • Engineering
  • English Language
  • English Language Teaching
  • Environment and Geography
  • Exam Preparation
    • Banking & Insurance
    • CAT · XAT · MBA Entrances
    • CBSE · ICSE · School Boards
    • CLAT · AILET · Law Entrances
    • CUET
    • Defence — NDA · CDS · AFCAT
    • GATE
    • IELTS · TOEFL · GRE · GMAT · SAT
    • JEE Main & Advanced
    • NEET PG · INI-CET · FMGE
    • NEET UG
    • Olympiads & Scholarship Exams
    • Railways
    • SSC
    • State PSC
    • Teaching — CTET · TET · UGC NET
    • UPSC Civil Services
  • Fiction
    • Classic Literature
    • Contemporary Indian Fiction
    • Fantasy
    • Historical Fiction
    • Literary Fiction
    • Mystery, Thriller & Crime
    • Romance
    • Science Fiction
    • Short Stories & Anthologies
  • Financial Management
  • First Aid Nursing
  • Food
  • Foreign Language Study
  • Forensic Medicine
  • Forensic Medicine And Toxicology
  • Forensic Nursing And Introduction To Laws
  • Fundamentals Of Nursing
  • Games
  • Gastroenterology And Hepatology
  • General
  • General Medicine
  • Health Center Management
  • Health Promotion
  • Health, Family & Personal Development
  • Health, Fitness & Nutrition
  • Hematology
  • Higher Education Textbooks
    • Law & Legal Studies
    • Science Education
  • Hindi Literature
  • Histology
  • Historical Fiction
  • History
  • Home & Décor
  • Hospital Medical Records Management
  • Hospital Planning
  • Humour
  • Imaging Technology
  • Indian Books
  • Indian History
    • Ancient Indian History
    • Medieval Indian History
    • Military History
    • Modern India & Freedom Struggle
    • Partition & Independence
    • World History
    • World Wars
  • Instruments
  • Internal Medicine
  • Internship
  • Juvenile Nonfiction
  • Kinesiology
  • Kriya Sharir
  • Laboratory Biosecurity
  • Language, Linguistics & Writing
  • Laparoscopic Surgery
  • Law
  • Learning & Education
  • Lifestyle
  • Literature & Fiction
  • Literature and literary studies
    • Poetry
      • English
  • Low Vision Aids
  • Magnetic Bookmarks
  • Mahabharat
  • Manga
  • Maternal And Neonatal Nursing
  • Mathematics
  • Maulik Siddhant Avum Astang Hridya
  • Meat Science
  • Medical
  • Medical Assistant
  • Medical Education
  • Medical Surgical Nursing
  • Medical Surgical Nursing – Cardiovascular And Thor
  • Medical Surgical Nursing – Critical Care Nursing
  • Medical Surgical Nursing – Geriatric Nursing
  • Medicine
    • Anaesthesia & Critical Care
    • Anatomy
    • Biochemistry
    • Clinical & internal medicine
      • Dermatology
      • Diseases & disorders
        • Immunology
      • Ophthalmology
    • Community Medicine · PSM
    • Dentistry
    • Forensic Medicine
    • Internal Medicine
    • MBBS First Year
    • Microbiology
    • NEET PG · INI-CET · FMGE
    • Nursing
    • Obstetrics & Gynaecology
    • Orthopaedics
    • Other branches of medicine
      • Medical imaging
        • Radiology
      • Pathology
      • Pharmacology
      • Psychiatry
    • Pathology
    • Pediatrics & Neonatology
    • Pharmacology
    • Physiology
    • Pre-clinical medicine: basic sciences
      • Anatomy
      • Physiology
    • Radiology & Imaging
    • Surgery
    • Surgery
      • General surgery
  • Mental Health (Psychiatric) Nursing
  • Microbiology
  • Midwifery
  • Midwifery And Gynecological Nursing
  • Midwifery And Obstetrical Nursing
  • Midwifery Nursing
  • Multi Subject
  • Nature
  • Neonatology And Perinatology
  • Nephrology
  • Neurology
  • Neurology And Neurosurgery
  • Non-Fiction
    • Biography & Memoir
    • Business & Economics
    • Philosophy
    • Politics & Current Affairs
    • Psychology
    • Science & Technology
    • Travel Writing
    • True Crime
  • Now Trending
  • Nursing
  • Nursing Education
  • Nursing Foundation
  • Nursing Management And Administration
  • Nursing Management And Leadership
  • Nursing Research And Statistics
  • Nutrition And Dietetics
  • Obstetrics And Gynecology
  • Office Paper Products
  • Oncology
  • Operation Theater Technician
  • Oral And Maxillofacial Radiology
  • Oral And Maxillofacial Surgery
  • Oral Hygiene
  • Oral Implantology
  • Oral Medicine And Radiology
  • Oral Pathology And Oral Microbiology
  • Orthodontics And Dentofacial Orthopedics
  • Orthopedics
  • Others
  • Otorhinolaryngology
  • Padartha Vigyan And Ayurved Itihas
  • Pain Management
  • Paramedics
  • Parasitology
  • Parenting
  • Pathology And Genetics
  • Pediatrics
  • Pedodontics
  • Pharmaceutics
  • Philosophy
  • Physical Therapy
  • Physics
  • Physiotherapy In General Medicine
  • Physiotherapy In Neurological Conditions
  • Physiotherapy In Neurology And Neurosurgery
  • Physiotherapy In Orthopedic Conditions
  • Physiotherapy In Orthopedics
  • Plastic And Reconstructive Surgery
  • Political Science
  • Politics
  • Politics & Social Sciences
  • Prosthodontics
  • Public Health Dentistry
  • Pulmonary And Respiratory Medicine
  • Pulomonary And Respiratory Medicine
  • Quality In Health Care
  • Rachana Sharir
  • Rasashatra
  • Record Book
  • Reference
  • References and Encyclopedias
  • Rehabilitation
  • Religion
  • Religion & Spirituality
  • Romance
  • Sanskrit & Ayurveda
    • Ayurveda Academic & BAMS Textbooks
    • Ayurveda Classical Texts (Samhitas)
    • Ayurvedic Lifestyle, Diet & Dosha
    • Ayurvedic Treatment & Panchakarma
    • Classical Literature & Grammar
    • Dravyaguna & Materia Medica
    • Mahabharata
    • Rasashastra & Formulations
    • Vedas, Upanishads & Philosophy
    • Women's Health & Home Remedies
  • School Books
  • Science
  • Science & mathematics
    • Biology, life sciences
      • Biochemistry
  • Science & Nature
  • Science Fiction
  • Science Fiction & Fantasy
  • Sciences, Technology & Medicine
  • Self Help
    • Career & Leadership
    • Emotional Intelligence
    • Finance & Money Management
    • Mindfulness & Meditation
    • Motivation & Mindset
    • Productivity & Habits
    • Relationships & Communication
  • Self-help
  • Short Stories
  • Society & social sciences
    • Psychology
    • Sociology & anthropology
      • Sociology
  • Sports
  • Statistics
  • Success
  • Technology and Engineering
  • Teen & Young Adult
  • Teens & YA
    • YA by Indian Authors
    • YA Contemporary & Coming-of-Age
    • YA Dystopian
    • YA Fantasy & Sci-Fi
    • YA Mystery & Thriller
    • YA Romance
  • Textbooks & Study Guides
  • Therapeutic Exercises
  • Travel & Tourism
  • Uncategorized
  • Urology
  • Vascular Sciences And Vascular Surgery
  • Women
  • World History
  • Home
  • Shop
  • Manga
  • Publish with us
  • Request a Book
  • Blogs
  • Contact
  • Login
THEOREM PROVING IN HIGHER ORDER LOGICS: 21ST INTERNATIONAL CONFERENCE, TPHOLS 2008, MONTREAL, CANADA, AUGUST 18-21, 2008, PROCEEDINGS
HomeProduct PublisherTHEOREM PROVING IN HIGHER ORDER LOGICS: 21ST INTERNATIONAL CONFERENCE, TPHOLS 2008, MONTREAL, CANADA, AUGUST 18-21, 2008, PROCEEDINGS
Filter Filter
  • SALE THEOREM PROVING IN HIGHER ORDER LOGICS: 21ST INTERNATIONAL CONFERENCE, TPHOLS 2008, MONTREAL, CANADA, AUGUST 18-21, 2008, PROCEEDINGS: 5170 (Lecture Notes in Computer Science) IN STOCK
    THEOREM PROVING IN HIGHER ORDER LOGICS: 21ST INTERNATIONAL CONFERENCE, TPHOLS 2008, MONTREAL, CANADA, AUGUST 18-21, 2008, PROCEEDINGS: 5170 (Lecture Notes in Computer Science)
    Otmane Ait Mohamed
    ₹5,454.00 Original price was: ₹5,454.00.₹4,363.00Current price is: ₹4,363.00.
    VIEW ADD
Product categories
Featured Books
  • The Story of Civilization Set in 9 Volumes and 21 Parts
    The Story of Civilization Set in 9 Volumes and 21 Parts
    History
  • PRINCIPLES OF ECONOMICS, 3RD EDN
    PRINCIPLES OF ECONOMICS, 3RD EDN
    Non-Fiction
  • Textbook of Veterinary Parasitology
    Textbook of Veterinary Parasitology
    Non-Fiction
new2

need help

7827255889

[email protected]

explore

  • Home
  • About us
  • Shop
  • Contact
  • Terms And Conditions
  • Privacy Policy
  • Shipping Policy
  • Return and Refund Policy

Address

  • 208, 2nd Floor, 4735/22, Prakash Deep Building, Ansari Road, Daryaganj, New Delhi - 110002
Copyright © 2025 The Bookish Owl
Sign in Create an Account

Lost your password?
  • Main menu
  • Home
  • Shop
  • Manga
  • Publish with us
  • Request a Book
  • Blogs
  • Contact
  • Login
  • Home
  • About Us
  • Blog
  • Book Search
  • Cart
  • Checkout
  • Contact
  • Exam Central
  • fiction-books
  • history-books
  • Home 1
  • HOMEPAGE
  • kids-books
  • Manga
  • Medical Books
  • My account
  • My Orders
  • NBBC – Publish with Us
  • non-fiction-books
  • Oriental Book Company – Publish with Us
  • Privacy Policy
  • Publish with us
  • Refund and Returns Policy
  • Request a Book
  • Sanskrit & Ayurveda
  • self-help-books
  • Shipping Policy
  • Shop
  • teens-ya-books
  • Terms and Conditions
  • Wishlist
HIDE FILTER
🦉
Ask the OwlAI librarian · Online
🦉

Hi! I'm the Owl — your AI librarian. 🦉

Tell me a book you loved or the mood you're in, and I'll search our vast catalogue for you.

Shopping cart close