41- 60 of 1303 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Uncertain Inference, Author: Henry E. Kyburg
QUICK ADD
Uncertain Inference
by Henry E. Kyburg, Jr, Choh Man Teng
Hardcover $95.00
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / Edition 1, Author: Thorsten Altenkirch
QUICK ADD
Types for Proofs and Programs:…
by Thorsten Altenkirch, Conor McBride
#4502 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / Edition 1, Author: Jean-Christophe Filliatre
QUICK ADD
Types for Proofs and Programs:…
by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
#3839 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Edition 1, Author: Stefano Berardi
QUICK ADD
Types for Proofs and Programs:…
by Stefano Berardi, Mario Coppo, Ferruccio Damiani
#3085 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / Edition 1, Author: Stefano Berardi
QUICK ADD
Types for Proofs and Programs:…
by Stefano Berardi, Mario Coppo
#1158 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / Edition 1, Author: Peter Dybjer
QUICK ADD
Types for Proofs and Programs:…
by Peter Dybjer, Bengt Nordstrïm, Jan Smith
#996 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers / Edition 1, Author: Henk Barendregt
QUICK ADD
Types for Proofs and Programs:…
by Henk Barendregt, Tobias Nipkow
#806 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / Edition 1, Author: Philippe de Groote
QUICK ADD
Typed Lambda Calculi and…
by Philippe de Groote, J. Roger Hindley
#1210 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings / Edition 1, Author: Mariangiola Dezani-Ciancaglini
QUICK ADD
Typed Lambda Calculi and…
by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
#902 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / Edition 1, Author: Marc Bezem
QUICK ADD
Typed Lambda Calculi and…
by Marc Bezem, Jan F. Groote
#664 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / Edition 1, Author: Pawel Urzyczyn
QUICK ADD
Typed Lambda Calculi and…
by Pawel Urzyczyn
#3461 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / Edition 1, Author: Martin Hofmann
QUICK ADD
Typed Lambda Calculi and…
by Martin Hofmann
#2701 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
QUICK ADD
Typed Lambda Calculi and…
by Samson Abramsky
#2044 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / Edition 1, Author: Jean-Yves Girard
QUICK ADD
Typed Lambda Calculi and…
by Jean-Yves Girard
#1581 in Series
Paperback $54.99
Title: Turning Points in the History of Mathematics, Author: Hardy Grant
QUICK ADD
Turning Points in the History…
by Hardy Grant, Israel Kleiner
Explore Series
Paperback $54.99
Title: Truthlikeness / Edition 1, Author: I. Niiniluoto
QUICK ADD
Truthlikeness / Edition 1
by I. Niiniluoto
#185 in Series
Hardcover $239.00
Title: Truth, Vagueness, and Paradox: An Essay on the Logic of Truth, Author: Vann McGee
QUICK ADD
Truth, Vagueness, and Paradox:…
by Vann McGee
Hardcover $40.00
Title: Truth, Proof and Infinity: A Theory of Constructive Reasoning / Edition 1, Author: P. Fletcher
QUICK ADD
Truth, Proof and Infinity: A…
by P. Fletcher
#276 in Series
Paperback $199.99
Title: Truth, Proof and Infinity: A Theory of Constructive Reasoning / Edition 1, Author: P. Fletcher
QUICK ADD
Truth, Proof and Infinity: A…
by P. Fletcher
#276 in Series
Hardcover $199.99
Title: Truth, Probability and Paradox: Studies in Philosophical Logic, Author: J. L. Mackie
QUICK ADD
Truth, Probability and Paradox…
by J. L. Mackie
Explore Series
Hardcover $95.00

Pagination Links