Book Hardcover Book Paperback Book
显示无货商品

A. S. Troelstra的作品

Cover for A. S. Troelstra · Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes (Paperback Book) [2nd edition] (1992)

Lectures on Linear Logic - Cente... (1992)

A. S. Troelstra

Cover for A. S. Troelstra · Lectures on linear logic (Book) (1992)

Lectures on linear logic (1992)

A. S. Troelstra

Cover for A. S. Troelstra · Constructivism in Mathematics, Vol 2 - Studies in Logic and the Foundations of Mathematics (Hardcover Book) (1988)

Constructivism in Mathematics, V... (1988)

A. S. Troelstra

Cover for A. S. Troelstra · Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, Ny - Lecture Notes in Mathematics (Paperback Book) (1969)

Principles of Intuitionism: Lect... (1969)

A. S. Troelstra