Home Andrews, Peter B An Introduction To Mathematical Logic and Type Theory

An Introduction To Mathematical Logic and Type Theory

by Andrews, Peter B

Show all copies

Available Copies

An Introduction to Mathematical Logic and Type Theory

by Andrews, Peter B.

Condition

Used

Edition

Second

Published

2002

ISBN

9781402007637

Quantity Available

Seller

Rachel Maines Inc.

Ithaca, New York, USA

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$49.54

Show Details

Description:

Very good condition. A few penciled marginalia by original owner.

Item Price

NZ$49.54

An Introduction to Mathematical Logic and Type Theory

by Andrews, Peter B.

Condition

Used

Edition

First

Published

1986

ISBN

9780120585359

Quantity Available

Seller

Rachel Maines Inc.

Ithaca, New York, USA

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$33.03

Show Details

Description:

Very good condition. Minor scuffing of spine. No markings

Item Price

NZ$33.03

An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof

by Peter B. Andrews

Condition

New

Binding

Hard Cover

ISBN

9781402007637

Quantity Available

Seller

Ria Christie Collections

Uxbridge, Greater London, GBR

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$258.91

Show Details

Description:

Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof.

Item Price

NZ$258.91

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

by ANDREWS, Peter B.

Condition

Used - Very good

Published

2002

Binding

Hardcover

ISBN

9781402007637

Quantity Available

Seller

Attic Books

London, Ontario, CAN

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$165.14

Show Details

Description:

Dordrecht, The Netherlands: Kluwer Academic Publishers, 2002. Hardcover. Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.

Item Price

NZ$165.14

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

by Andrews, Peter B

Condition

New

Published

2002-07-31

Binding

Hardcover

ISBN

9781402007637

Quantity Available

Seller

GridFreed LLC

San Diego, California, USA

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$237.54

Show Details

Description:

Springer, 2002-07-31. Hardcover. New. New. In shrink wrap. Looks like an interesting title!

Item Price

NZ$237.54

An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof

by Andrews, Peter B

Condition

Used - Very Good

ISBN

9780120585366

Quantity Available

Seller

Better World Books

Mishawaka, Indiana, USA

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$38.63

Show Details

Description:

Elsevier Science & Technology Books. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Item Price

NZ$38.63

An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof

by Peter B. Andrews

Condition

New

ISBN

9789048160792

Quantity Available

Seller

Ria Christie Collections

Uxbridge, Greater London, GBR

Seller rating:

This seller has earned a 5 of 5 Stars rating from Biblio customers.

Item Price

NZ$190.89

Show Details

Description:

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof.