Log in
New to Bookswagon?
Sign up
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Currency
AED
AED
Log out
0
0
Books
Bestsellers
BW Bestsellers
International Bestsellers
Shop by Age
0-2 years
3-5 years
6-8 years
9-12 years
Teen and Young Adults
We Recommend
Best Books of 2026
BW Monthly Picks
Award Winners
Books by Budget
Under AED 20
AED 20 – AED 40
AED 40 – AED 60
Above AED 60
Browse
New Releases
Books in Indian Languages
Books in Foreign Languages
Books Box Sets
Book Awards
Special Editions for Gifts
Sprayed Edges
International Hardcovers
Large Print Books
Top Subjects
MODERN & contemporary fiction
Ancient Sagas and epics
Classic crime and mystery fiction
Advice on careers and achieving success
Classic science fiction
General, modern and contemporary fiction
Language: reference and general
Literary reference works
Thriller / suspense fiction
Fiction: general and literary
General and world history
Popular psychology
History
Historical romance
Historical crime and mysteries
Fiction
Bestsellers
Fiction Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Fiction
Fiction New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
MODERN & contemporary fiction
Classic crime and mystery fiction
Classic science fiction
Thriller / suspense fiction
Fiction: general and literary
Historical romance
Historical crime and mysteries
Historical fantasy
Historical adventure fiction
Classic fiction
Crime and mystery fiction
Saga fiction (family / generational sagas)
Fantasy
Historical fiction
Modern and Contemporary romance
Non-Fiction
Bestsellers
Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Nonfiction
New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
Ancient Sagas and epics
Advice on careers and achieving success
Language: reference and general
Literary reference works
General and world history
Popular psychology
History
Personal finance
Self-help, personal development and practical advice
Poetry anthologies (various poets)
Cognitive studies
Christianity
Relationships and families: advice and issues
Popular philosophy
Reference works
Teens & YA
Bestsellers
YA Best Selling
Browse
Best Teens & Young Adults
Subjects
Thriller & Suspense
Sci-fi
Romance
Mystery & Crime
Fiction
Fantasy & Adventure
Popular Series
The Hunger Games
Harry Potter Series
Percy Jackson & the Olympians
Twilight Saga
Shadow and Bone
A Court of Thorns and Roses
A Good Girl's Guide To Murder
Inheritance Games
Shatter Me
The Powerless
Favourites
Graphic Novels
Novels & Fiction
Short Stories
Kids
Bestsellers
Bestsellers Books
Browse
Board Books
Picture Books
Chapter Books
Colouring Books
Box Sets
Favourites
Manga for Kids
Kids classic
Summer Reading
Daddy & Me
Age
Age 0–2
Age 3–5
Age 6–8
Age 9–12
Popular Series
Tenali Rama
Akbar and Birbal
Chacha Chaudhary
Champak
Panchatantra
Amar Chitra Katha
Mythology for Kids
Learning & Activity
Rhymes & Alphabet Books
Quiz & Puzzle Books
Craft & DIY Books
Young Reader
Harry Potter
Diary of a Wimpy Kid
Graphic Novel
Dog Man
LEGO
The Chronicles of Narnia
Percy Jackson
The Hobbit
Matilda
Sudha Murty's Children's Books
Manga
New Arrivals
Award Winners
Featured Authors
Today's Deal
Art, Film & Photography
Architecture
Industrial / commercial art & design
Music
Performing arts
The arts: general issues
Art treatments & subjects
Language, Linguistics & Creative Writing
Language teaching and learning
Language: reference and general
Biographies & Memoire
Biography and non-fiction prose
Fiction and Literature
Adventure / action fiction
Biographical fiction / autobiographical fiction
Crime and mystery fiction
Fiction: general and literary
Sports fiction
Thriller / suspense fiction
Reference
Encyclopaedias and reference works
Interdisciplinary studies
Library and information sciences / Museology
Research and information: general
Society and Social Sciences
Education
Politics and government
Warfare and defence
Business and Economics
Finance and accounting
Law Books
International law
Laws of specific jurisdictions
Medicine & Health Science textbooks
Clinical and internal medicine
Medicine: general issues
Pre-clinical medicine: basic sciences
History and Archaeology
History
Mathematics and Science Textbooks
Mathematics
Physics
Science: general issues
Religion, Philosophy & Sprituality
Religion and beliefs
Sciences & Environment
Earth sciences
Geography
Regional and area planning
The environment
Sports
Athletics, gymnastics and related sports
Ball sports / ball games
Combat sports and self-defence
Vehicle sports
Water sports and recreations
Science, Technology & Agriculture
Biochemical engineering
Civil engineering, surveying and building
Electronics and communications engineering
Environmental science, engineering and technology
Mechanical engineering and materials
Computing and Information Technology
Business applications
Computer certification
Computer hardware
Computer science
Computer security
Health, Relationships and Personal development
Mind, body, spirit
Self-help, personal development and practical advice
Lifestyle, Hobbies and Home
Cookery, Food & Wine Books
Handicrafts, decorative arts and crafts
Travel and holiday
Children's Books
Children’s / Teenage fiction and true stories
Teen & Young Adult General interest
Early learning
My Account
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Books
Bestsellers
BW Bestsellers
International Bestsellers
Shop by Age
0-2 years
3-5 years
6-8 years
9-12 years
Teen and Young Adults
We Recommend
Best Books of 2026
BW Monthly Picks
Award Winners
Books by Budget
Under AED 20
AED 20 – AED 40
AED 40 – AED 60
Above AED 60
Browse
New Releases
Books in Indian Languages
Books in Foreign Languages
Books Box Sets
Book Awards
Special Editions for Gifts
Sprayed Edges
International Hardcovers
Large Print Books
Top Subjects
MODERN & contemporary fiction
Ancient Sagas and epics
Classic crime and mystery fiction
Advice on careers and achieving success
Classic science fiction
General, modern and contemporary fiction
Language: reference and general
Literary reference works
Thriller / suspense fiction
Fiction: general and literary
General and world history
Popular psychology
History
Historical romance
Historical crime and mysteries
Fiction
See All Fiction
Bestsellers
Fiction Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Fiction
Fiction New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
MODERN & contemporary fiction
Classic crime and mystery fiction
Classic science fiction
Thriller / suspense fiction
Fiction: general and literary
Historical romance
Historical crime and mysteries
Historical fantasy
Historical adventure fiction
Classic fiction
Crime and mystery fiction
Saga fiction (family / generational sagas)
Fantasy
Historical fiction
Modern and Contemporary romance
Non-Fiction
See All Non-Fiction
Bestsellers
Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Nonfiction
New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
Ancient Sagas and epics
Advice on careers and achieving success
Language: reference and general
Literary reference works
General and world history
Popular psychology
History
Personal finance
Self-help, personal development and practical advice
Poetry anthologies (various poets)
Cognitive studies
Christianity
Relationships and families: advice and issues
Popular philosophy
Reference works
Teens & YA
See All Teens & Ya
Bestsellers
YA Best Selling
Browse
Best Teens & Young Adults
Subjects
Thriller & Suspense
Sci-fi
Romance
Mystery & Crime
Fiction
Fantasy & Adventure
Popular Series
The Hunger Games
Harry Potter Series
Percy Jackson & the Olympians
Twilight Saga
Shadow and Bone
A Court of Thorns and Roses
A Good Girl's Guide To Murder
Inheritance Games
Shatter Me
The Powerless
Favourites
Graphic Novels
Novels & Fiction
Short Stories
Kids
See All Kids
Bestsellers
Bestsellers Books
Browse
Board Books
Picture Books
Chapter Books
Colouring Books
Box Sets
Favourites
Manga for Kids
Kids classic
Summer Reading
Daddy & Me
Age
Age 0–2
Age 3–5
Age 6–8
Age 9–12
Popular Series
Tenali Rama
Akbar and Birbal
Chacha Chaudhary
Champak
Panchatantra
Amar Chitra Katha
Mythology for Kids
Learning & Activity
Rhymes & Alphabet Books
Quiz & Puzzle Books
Craft & DIY Books
Young Reader
Harry Potter
Diary of a Wimpy Kid
Graphic Novel
Dog Man
LEGO
The Chronicles of Narnia
Percy Jackson
The Hobbit
Matilda
Sudha Murty's Children's Books
Manga
Award Winners
Featured Authors
Request a Book
About Us
Contact Us
Blog
Home
Account
0
Wishlist
0
Cart
Categories
Close
Refine your Search
Availability
All
(1)
In Stock
(1)
Shipping Time
All
(1)
1-2 Weeks
(1)
Source
All
(1)
International
(1)
Binding
All
(1)
PaperBack
(1)
Language
All
(1)
English
(1)
Publication Year
All
(1)
Others
(1)
Filter By Category
All Categories
Computing and Information Technology
Victor A. Carreno
1
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
1.
Theorem Proving in Higher Order Logics
By:
Victor A. Carreno
,
Cesar A. Munoz
,
Sofiene Tahar
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED281
Binding:
Paperback
Release:
07 Aug 2002
Language:
English
International Edition
Ships within
10-12 Days
Explain..
No more records found
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
