Author Results for Schwichtenberg Helmut

Schwichtenberg,Helmut
Association for Symbolic Logic
Bauer,Friedrich L
Berger,Ulrich
Brauer,Wilfried
see all »
Clote,Peter
De Gruyter
European Association for Computer Science Logic.,Conference
NATO Advanced Study Institute on Proof Technology and Computation,Marktoberdorf, Germany
NATO Advanced Study Institute on Proof and System-Reliability,Marktoberdorf, Germany

3
Proofs and computations

Cover is for reference only
Main Authors: Schwichtenberg Helmut 1942-
Corporate Authors: Association for Symbolic Logic
Group Author: Wainer S. S
Published: Association for Symbolic Logic Cambridge University Press,
Publication Dates: 2012.
Call Number: O141.3/S415
Book
Save to List
Saved in:
8
Logic and algebra of specification

Cover is for reference only
Group Author: Bauer Friedrich L; Brauer Wilfried; Schwichtenberg Helmut
Published: Springer-Verlag,
Publication Dates: c1993.
Book
Save to List
Saved in:
9
Logic, construction, computation /

Cover is for reference only
Group Author: Berger, Ulrich, 1956; Schwichtenberg, Helmut, 1942
Published: Ontos Verlag,
Publication Dates: 2012.
Call Number: O14/L832-1
Book
Save to List
Saved in:
12
Handbook of constructive mathematics /

Cover is for reference only
Group Author: Bridges, D. S. (Douglas S.), 1945- (Editor); Ishihara, Hajime (Editor); Rathjen, Michael (Editor); Schwichtenberg, Helmut, 1942- (Editor)
Published: Cambridge University Press,
Publication Dates: 2023.
Call Number: O141.3-62/H236-2
Book
Save to List
Saved in:
13
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:
Search Tools: Get RSS Feed — Email this Search —