1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs: EUR 36.06 Details... |
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [PU: Springer Verlag], 147 pages. 9.75x6.75x0.50 inches. In Stock., Books
AbeBooks.de Revaluation Books, Exeter, United Kingdom [2134736] [Rating: 5 (von 5)] NEW BOOK. Shipping costs: EUR 12.85 Details... |
ISBN: 9783211827963
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5
Biblio.co.uk |
1996, ISBN: 321182796X
[EAN: 9783211827963], Gebraucht, wie neu, [PU: Springer], Like New, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Shipping costs: EUR 21.84 Details... |
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [PU: Springer], Books
AbeBooks.de Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)] NEW BOOK. Shipping costs: EUR 3.99 Details... |
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF… More...
ISBN: 9783211827963
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5
1996, ISBN: 321182796X
[EAN: 9783211827963], Gebraucht, wie neu, [PU: Springer], Like New, Books
1996, ISBN: 321182796X
[EAN: 9783211827963], Neubuch, [PU: Springer], Books
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Collegium Logicum (Collegium Logicum, 2, Band 2)
EAN (ISBN-13): 9783211827963
ISBN (ISBN-10): 321182796X
Hardcover
Paperback
Publishing year: 2013
Publisher: Springer
Book in our database since 2007-11-18T16:04:43+00:00 (London)
Detail page last modified on 2024-01-10T17:52:01+00:00 (London)
ISBN/EAN: 9783211827963
ISBN - alternate spelling:
3-211-82796-X, 978-3-211-82796-3
Alternate spelling and related search-keywords:
Book author: kurt gödel, kurt goedel, gesellschaft ulk, institut für gesellschaft, kurt godel
Book title: kurt gödel, collegium logicum
Information from Publisher
Author: Kenneth A. Loparo
Title: Collegium Logicum; Collegium Logicum
Publisher: Springer; Springer Wien
140 Pages
Publishing year: 1996-04-30
Vienna
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VII, 140 p. 3 illus.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Resolution; Turing machine; complexity; complexity theory; logic; mathematical logic; proof; algorithm analysis and problem complexity; Mathematical Logic and Foundations; Theoretical, Mathematical and Computational Physics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation; Algorithms; Mathematische Grundlagen; Mathematische Physik; Theoretische Informatik; Algorithmen und Datenstrukturen; EA
Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.More/other books that might be very similar to this book
Latest similar book:
9783709193945 Collegium Logicum (Kurt-Gödel-Gesellschaft)
< to archive...