Filter Related Topics within your search.
1
Concepts of proof in mathematics, philosophy, and computer science /

Cover is for reference only
Group Author: Schuster, Peter, 1966; Probst, Dieter, 1973
Published: Walter de Gruyter GmbH,
Publication Dates: [2016]
Call Number: O141.2/C744
Book
Save to List
Saved in:
4
Logic, computation, hierarchies /

Cover is for reference only
Corporate Authors: De Gruyter.
Group Author: Brattka, Vasco; Diener, Hannes; Spreen, Dieter
Published: De Gruyter,
Publication Dates: [2014]
eBook
Save to List
Saved in:
5
Logic, computation, hierarchies /

Cover is for reference only
Group Author: Brattka, Vasco, 1966; Diener, Hannes; Spreen, Dieter
Published: De Gruyter,
Publication Dates: [2014]
Call Number: B81-05/L832-1
Book
Save to List
Saved in:
6
Logic, construction, computation /

Cover is for reference only
Corporate Authors: De Gruyter.
Group Author: Berger, Ulrich; Diener, Hannes; Schuster, Peter; Seisenberger, Monika
Published: De Gruyter,
Publication Dates: [2012]
eBook
Save to List
Saved in:
7
Ways of proof theory /

Cover is for reference only
Corporate Authors: De Gruyter.
Group Author: Schindler, Ralf
Published: De Gruyter,
Publication Dates: [2010]
eBook
Save to List
Saved in:
8
Church's thesis after 70 years /

Cover is for reference only
Corporate Authors: De Gruyter.
Group Author: Janusz, Robert; Olszewski, Adam; Wolenski, Jan
Published: De Gruyter,
Publication Dates: [2006]
eBook
Save to List
Saved in:
9
Logic, construction, computation /

Cover is for reference only
Group Author: Berger, Ulrich, 1956- (Editor); Schwichtenberg, Helmut, 1942- (honouree.)
Published: Ontos Verlag,
Publication Dates: 2012.
Call Number: O14/L832-1
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —