馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

The resolution calculus

Main Authors: Leitsch Alexander 1952-
Published: Springer,
Publication Dates: c1997.
Call Number: O141/L533/

Book

2

Cover is for reference only

Computational logic and proof theory：5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Corporate Authors: Kurt Gödel Colloquium 1997 Vienna, Austria) (Vienna, Austria)); Kurt Gödel Society.
Group Author: (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-; Gottlob G.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301.6-532/C738/1997/

Book

3

Cover is for reference only

Computational logic and proof theory：Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Corporate Authors: Kurt Godel Society.
Group Author: Gottlob G.; (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-
Published: Springer-Verlag,
Publication Dates: 1993.
Call Number: TP301.6-532/C738/1993/

Book

Narrow Search