Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ― including algorithms and epitheory ― and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
"Sinopsis" puede pertenecer a otra edición de este libro.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Paperback. Condición: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Nº de ref. del artículo: 0486634620-11-1
Cantidad disponible: 1 disponibles
Librería: Bay State Book Company, North Smithfield, RI, Estados Unidos de America
Condición: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Nº de ref. del artículo: BSM.1CNKH
Cantidad disponible: 1 disponibles
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 11540370-20
Cantidad disponible: 1 disponibles
Librería: de Wit Books, HUTCHINSON, KS, Estados Unidos de America
VG, unmarked, 5" x 8" Paperback. viii + 408 pp. Nº de ref. del artículo: 030454
Cantidad disponible: 1 disponibles
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Condición: New. Brand New. Nº de ref. del artículo: 9780486634623
Cantidad disponible: Más de 20 disponibles
Librería: Wm Burgett Bks and Collectibles, San diego, CA, Estados Unidos de America
Soft cover. Condición: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall. Nº de ref. del artículo: 020041
Cantidad disponible: 1 disponibles
Librería: Rare Book Cellar, Pomona, NY, Estados Unidos de America
Softcover. First Edition Thus; First Printing. Very Good in wrappers.; Dover Books on Mathematics; 8.11 X 5.59 X 0.55 inches; 416 pages. Nº de ref. del artículo: 75524
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Nº de ref. del artículo: 0486634620
Cantidad disponible: 1 disponibles
Librería: Antiquariat Renner OHG, Albstadt, Alemania
Softcover. Condición: Gut. N.Y., Dover (1977). VIII, 407 p. Pbck. (back faded), title and last page stained, otherwise in good condition. Nº de ref. del artículo: 31183
Cantidad disponible: 1 disponibles