An edition of Space in Weak Propositional Proof Systems (2018)

Space in Weak Propositional Proof Systems

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Space in Weak Propositional Proof Systems by Ilario Bonacina, Ilario Bonacina
Preview
Borrow Listen

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 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by Scott365Bot
October 24, 2023 | History
Edit
An edition of Space in Weak Propositional Proof Systems (2018)

Space in Weak Propositional Proof Systems

by

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

1 online resource

Publish Date
Publisher
Springer
Pages
130

Check nearby libraries

Buy this book

Subjects

Proof theory, MATHEMATICS -- General, Computer Science, Theory of Computation, Mathematics of Computing

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Space in Weak Propositional Proof Systems
Space in Weak Propositional Proof Systems
2019, Springer International Publishing AG
in English
Libraries near you: WorldCat
Cover of: Space in Weak Propositional Proof Systems
Space in Weak Propositional Proof Systems
Jan 11, 2018, Springer
hardcover
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Format
hardcover
Number of pages
130

ID Numbers

Open Library
OL28172994M
Internet Archive
spaceinweakpropo0000bona
ISBN 10
3319734520
ISBN 13
9783319734521

Source records

amazon.com record
Better World Books record
Internet Archive item record

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
October 24, 2023 Edited by Scott365Bot import existing book
January 27, 2022 Edited by ImportBot import existing book
June 2, 2020 Created by ImportBot import new book