mauricio ayala rincón author - Books - 24x7 online bookstore Bookswagon.com

Download Our App & Get FLAT 10% OFF (Up to ₹500) – App Only! Usecode - BWAPP

Download Our App & Get FLAT 10% OFF (Up to ₹500) – App Only! Usecode - BWAPP

Download Our App & Get FLAT 10% OFF (Up to ₹500) – App Only! Usecode - BWAPP

Download Our App & Get FLAT 10% OFF (Up to ₹500) – App Only! Usecode - BWAPP

My Account
Log in New to Bookswagon?
Sign up
Log out
0
0

Books

Bestsellers

BW Bestsellers International Bestsellers Min 40% Off Bestsellers Min 50% off Bestsellers Upto 45% off on Bestsellers

Shop by Age

0-2 years 3-5 years 6-8 years 9-12 years Teen and Young Adults

We Recommend

Award Winners Best Books of 2025 Best Summer Reads Best Winter Reads BW Monthly Picks

Books by Budget

Above Rs. 499 Rs. 300 – Rs. 499 Rs. 99 – Rs. 299 Under Rs 100

Browse

Best Books of the Year Book Awards Books Box Sets Books in Foreign Languages Books in Indian Languages International Hardcovers Large Print Books New Releases Paperbacks Up to 45% Off Special Editions for Gifts Sprayed Edges

Top Subjects

MODERN & contemporary fiction General, modern and contemporary fiction Fiction: general and literary Thriller / suspense fiction Christianity Advice on careers and achieving success History Self-help, personal development and practical advice Classic crime and mystery fiction Ancient Sagas and epics Classic fiction Crime and mystery fiction Action and adventure stories Nature and animal stories Fantasy
Fiction

Bestsellers

BW Bestsellers Fiction Bestsellers Hardcover Bestsellers Indian Bestsellers New York Times Bestsellers Paperback Bestsellers

Shop Fiction

Fiction New Releases Indian Language Books

Browse

Best Books of the Year Book Awards Box Sets HardCovers minimum 40% Off Large Print Paperback Store Paperbacks minimum 35% Off Special Editions Sprayed Edges

We Recommend

BW Book of the Year BW Discover Picks BW Monthly Picks BW Reads - Our Books Blog

Top Subjects

MODERN & contemporary fiction Fiction: general and literary Thriller / suspense fiction Classic crime and mystery fiction Classic fiction Crime and mystery fiction Classic science fiction Historical romance Historical crime and mysteries Historical fantasy Fantasy Historical adventure fiction Historical fiction Modern and Contemporary romance Short stories
Non-Fiction

Bestsellers

Bestsellers BW Bestsellers Hardcover Bestsellers Indian Bestsellers New York Times Bestsellers Paperback Bestsellers

Shop Nonfiction

Indian Language Books New Releases

Browse

Best Books of the Year Book Awards Box Sets HardCovers minimum 40% Off Large Print Paperback Store Paperbacks minimum 35% Off Special Editions Sprayed Edges

We Recommend

BW Book of the Year BW Discover Picks BW Monthly Picks BW Reads - Our Books Blog

Top Subjects

Christianity English Advice on careers and achieving success History Self-help, personal development and practical advice Ancient Sagas and epics India Popular psychology United States of America, USA Poetry Christian life and practice Memoirs Business and Management Personal finance Asian history
Teens & Ya

Bestsellers

YA Best Selling

Favourites

Graphic Novels Novels & Fiction Short Stories

Popular Series

A Court of Thorns and Roses A Good Girl's Guide To Murder Harry Potter Series Inheritance Games Percy Jackson & the Olympians Shadow and Bone Shatter Me The Hunger Games The Powerless Twilight Saga

Top Subjects

General, modern and contemporary fiction Action and adventure stories Nature and animal stories Fantasy Humorous stories Relationship stories Friends and friendships Readers and reading schemes Family and home stories Traditional stories Biography and autobiography Classic fiction Mythic fantasy / Mythic fiction Families and family members Children’s / Teenage fiction and true stories
Kids

Bestsellers

Bestsellers Books

Browse

Board Books Box Sets Chapter Books Colouring Books Picture Books

Favourites

Daddy & Me Graphic Novels Kids classic Summer Reading

Learning & Activity

Craft & DIY Books Quiz & Puzzle Books Rhymes & Alphabet Books

Age

Age 0–2 Age 3–5 Age 6–8 Age 9–12

Popular Series

Akbar and Birbal Amar Chitra Katha Chacha Chaudhary Champak Mythology for Kids Panchatantra Tenali Rama

Young Reader

Diary of a Wimpy Kid Dog Man Graphic Novel Harry Potter LEGO Matilda Percy Jackson Sudha Murty's Children's Books The Chronicles of Narnia The Hobbit

Top Subjects

General, modern and contemporary fiction Action and adventure stories Nature and animal stories Fantasy Children's interactive and activity books and kits Humorous stories Relationship stories Friends and friendships Picture storybooks Readers and reading schemes Family and home stories Traditional stories Study and revision guides Children’s picture books Biography and autobiography
Exams

Government Exams

Banking (IBPS, SBI) Defence (NDA, CDS) Insurance (LIC, GIC, NIACL) Railway Exams SSC State PSC Exams UPSC

Teaching Exams

CTET / TET KVS / NVS / DSSSB UGC NET

Engineering & Technical

DRDO / ISRO GATE IES / ESE Junior Engineer Exams

Law Entrance

AILET CLAT UG / PG LSAT

Medical & Commerce

CA / CS / CMA CAT / MAT / XAT MBA Entrance

Other Exams

Agriculture Exams Police Exams PSU Recruitment

Top Subjects

Central Board of Secondary Education (CBSE) Curriculum For educational curricula of India Joint Entrance Examination (JEE) Main and JEE Advanced National Council of Educational Research and Training (NCERT) For Civil Service Examinations (India) Indian School Certificate (ISC) and Indian Certificate of Secondary education (ICSE) For Staff Selection Commission (SSC) Exams National Eligibility cum Entrance Test (NEET-UG) For Indian State Level Public Service Exams National Eligibility Tests (NET) For Graduate Aptitude Test in Engineering (GATE) Central Teacher Eligibility Test (CTET) For Indian State level Recruitment tests or exams Indian Navy Recruitment tests For Banking Qualifications / Exams (India)
Medical Exams
Manga
Award Winners
Featured Authors
Today's Deal

Art, Film & Photography
Language, Linguistics & Creative Writing
Biographies & Memoire
Fiction and Literature
Reference
Society and Social Sciences
Business and Economics
Law
Medicine & Health Science textbooks
History and Archaeology
Mathematics and Science Textbooks
Religion, Philosophy & Sprituality
Sciences & Environment
Sports
Science, Technology & Agriculture
Computing and Information Technology
Health, Relationships and Personal development
Lifestyle, Hobbies and Home
Children's Books

My Account

Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password

Books
Fiction See All Fiction
Non-Fiction See All Non-Fiction
Teens & YA See All Teens & Ya
Kids See All Kids
Exam See All Exams

Medical Exams
Manga
Award Winners
Featured Authors
Today's Deal
About Us
Contact Us
Blog

Refine your Search

By Price

All (2)
Above Rs.2000 (2)

Availability

All (2)
In Stock (2)

Shipping Time

All (2)
1-2 Weeks (2)

Source

All (2)
Indian (2)

Binding

All (2)
PaperBack (2)

Language

All (2)
English (2)

Publication Year

All (2)
Others (2)

Filter

×

Price
Discount
Availability
Shipping Time
Source
Binding
Language
Publication Year

All (2) Above Rs.2000 (2)

All (0)

All (2) In Stock (2)

All (2) 1-2 Weeks (2)

All (2) Indian (2)

All (2) Paperback (2)

All (2) English (2)

All (2) Others (2)

Filter By Category

All Categories
Computing and Information Technology
Reference

2 results found

Sort By:

1.

Interactive Theorem Proving

36 %

Interactive Theorem Proving

By: Mauricio Ayala-Rincón, César A. Muñoz

Publisher: Springer International Publishing AG

No Review Yet

₹5,424

₹3,471

Binding:	Paperback
Release:	21 Aug 2017
Language:	English

Available

Ships within 14-16 Days Explain..

2.

Applied Logic for Computer Scientists

36 %

Applied Logic for Computer Scientists

By: Mauricio Ayala-Rincón, Flávio L. C. de Moura

Publisher: Springer International Publishing AG

No Review Yet

₹4,882

₹3,124

Binding:	Paperback
Release:	13 Feb 2017
Language:	English

Available

Ships within 14-16 Days Explain..

No more records found

Company

About Us
Career
Blog
YT Featured Video
Contact Us

Policies

Privacy Policies
Terms of Use
Secure Shopping
Copyright Policy

Help

Payment
Shipping
Return
FAQ

Misc

Affiliate
Sitemap

Download Our App

Android App

Copyright © 2026 . Bookswagon.com. All Rights Reserved

An OTP has been sent to your Registered Email Id:

Resend Verification Code

ASK VIDYA

Hi, Welcome to BooksWagon

Hi! I'm Vidya, your virtual assistant.

Need a book recommendation, help with your order or support with any query? I’m here to assist you.

Powered by BooksWagon

Beta Version

ASK VIDYA

Open Chatbot