Helmut Schwichtenberg

10 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Proofs and Computations

by Helmut Schwichtenberg and Stanley S. Wainer First published in 2011 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Proof and Computation

by Helmut Schwichtenberg First published in 1995 — 4 editions

Locate

My Reading Lists:

Create a new list
Computational Logic (NATO ASI Series / Computer and Systems Sciences)

by Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, and S. R. Buss First published in 1999 — 3 editions

Locate

My Reading Lists:

Create a new list
Handbook of Constructive Mathematics

by Douglas Bridges, Hajime Ishihara, Michael Rathjen, and Helmut Schwichtenberg First published in 2023 — 2 editions

Locate

My Reading Lists:

Create a new list
Logic of Computation

by Helmut Schwichtenberg First published in 1997 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science)

by Helmut Schwichtenberg and Gerhard Goos First published in 2000 — 2 editions
Read

Listen

Locate
My Reading Lists:

Create a new list
Logic and Algebra of Specification

by Friedrich L Bauer, Wilfried Brauer, and Helmut Schwichtenberg First published in 1993 — 1 edition

Locate

My Reading Lists:

Create a new list
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

by Klaus Mainzer, Peter Schuster, and Helmut Schwichtenberg First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list
Proof and System-Reliability

by Helmut Schwichtenberg and Ralf Steinbrüggen First published in 2012 — 1 edition

Locate

My Reading Lists:

Create a new list
Proofs and Computations (Perspectives in Logic)

by Helmut Schwichtenberg and Stanley S. Wainer First published in 2012 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7485968A

Links outside Open Library

No links yet. Add one?

History

Created March 25, 2019
1 revision

Download catalog record: RDF / JSON

March 25, 2019

Created by ImportBot

import new book

Helmut Schwichtenberg

10 works Add another?

Create a new list

Preview Book

Subjects

Add to List

ID Numbers

Links outside Open Library

History