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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 6,29 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerEUR 11,45 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerAnbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.99. Artikel-Nr. G0486634620I3N00
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Artikel-Nr. 0486634620
Anzahl: 1 verfügbar