Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Proof, Logic and Formalization

Proof, Logic and Formalization

by Michael Detlefsen

Routledge · 1992

₹5,060

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Published by Routledge in 1992, Proof, Logic and Formalization by Michael Detlefsen runs to 241 pages.

Its main subjects are Symbolic and mathematical Logic, Proof theory, Logique symbolique et mathématique and Formele logica.

About the author: Michael Detlefsen (born 1948).

Book details

ISBN-13
9780415023351
ISBN-10
0415023351
Author
Michael Detlefsen
Publisher
Routledge
Author dates
Michael Detlefsen (born 1948)
Published
1992
Pages
241
Language
English
Condition
New
See all