An edition of Proofs and Algorithms (2011)

Proofs and Algorithms

An Introduction to Logic and Computability

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Proofs and Algorithms by Gilles Dowek
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
October 14, 2023 | History
Edit
An edition of Proofs and Algorithms (2011)

Proofs and Algorithms

An Introduction to Logic and Computability

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag London Limited
Language
English

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Information theory, Computer science, Symbolic and mathematical Logic, Algorithms, Logic, symbolic and mathematical, Mathematical Logic and Formal Languages, Theory of Computation

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Proofs and Algorithms
Proofs and Algorithms: An Introduction to Logic and Computability
2011, Springer-Verlag London Limited
electronic resource : in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Published in
London
Series
Undergraduate Topics in Computer Science

Classifications

Library of Congress
QA9 .D68 2011, QA75.5-76.95

The Physical Object

Format
[electronic resource] :

ID Numbers

Open Library
OL25561912M
Internet Archive
proofsalgorithms00dowe
ISBN 13
9780857291202, 9780857291219
LCCN
2011282450

Source records

Internet Archive item record
Internet Archive item record
Internet Archive item record
marc_openlibraries_sanfranciscopubliclibrary MARC record
Library of Congress MARC record
Better World Books record
Better World Books record
harvard_bibliographic_metadata record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 14, 2023 Edited by ImportBot import existing book
January 5, 2023 Edited by MARC Bot import existing book
February 26, 2022 Edited by ImportBot import existing book
February 26, 2022 Edited by ImportBot import existing book
July 29, 2014 Created by ImportBot Imported from Internet Archive item record