Goodreads Choice Awards 2025

The Clausal Theory of Types > Editions

by D.A. Wolfram First published April 22nd 1993

Sort by
Format
Language
Editions
Showing 1-3 of 3
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)
Published June 25th 1993 by Cambridge University Press
1, Hardcover, 134 pages
Author(s):
ISBN:
9780521395380 (ISBN10: 0521395380)
ASIN:
0521395380
Edition language:
English
Average rating:
4.00 (2 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
[(The Clausal Theory of Types )] [Author: D.A. Wolfram] [Sep-2010]
[(The Clausal Theory of Types )] [Author: D.A. Wolfram] [Sep-2010]
Published by CAMBRIDGE UNIVERSITY PRESS
Unknown Binding, 0 pages
Author(s):
ASIN:
B010BAFRR4
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)
The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)
Published July 30th 2009 by Cambridge University Press
1, Paperback, 136 pages
Author(s):
ISBN:
9780521117906 (ISBN10: 0521117909)
ASIN:
0521117909
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page