- 5 Results
Lowest price: € 53.85, highest price: € 108.16, average price: € 75.27
1
Collegium Logicum - Kurt-Gödel-Gesellschaft
Order
at ZVAB.com
$ 61.71
(aprox. € 56.41)
Shipment: € 36.061
OrderSponsored link
Kurt-Gödel-Gesellschaft:

Collegium Logicum - Paperback

1996, ISBN: 321182796X

[EAN: 9783211827963], Neubuch, [SC: 36.06], [PU: Springer Vienna], LOGIK; PHILOSOPHIE / MATHEMATIK RESOLUTION; TURINGMACHINE; COMPLEXITY; COMPLEXITYTHEORY; LOGIC; MATHEMATICALLOGIC; PROOF… More...

NEW BOOK. Shipping costs: EUR 36.06 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Order
at AbeBooks.de
$ 72.41
(aprox. € 65.77)
Shipment: € 12.851
OrderSponsored link

Not Available (Not Available):

Collegium Logicum: Annals of the Kurt-Godel Society: Vol 2 - Paperback

1996, ISBN: 321182796X

[EAN: 9783211827963], Neubuch, [PU: Springer Verlag], 147 pages. 9.75x6.75x0.50 inches. In Stock., Books

NEW BOOK. Shipping costs: EUR 12.85 Revaluation Books, Exeter, United Kingdom [2134736] [Rating: 5 (von 5)]
3
Order
at Biblio.co.uk
$ 100.81
(aprox. € 92.15)
Shipment: € 0.001
OrderSponsored link
Kurt-Gödel-Gesellschaft:
Collegium Logicum (Collegium Logicum, 2) - Paperback

ISBN: 9783211827963

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book., 2.5

Shipping costs:Versandkostenfrei. (EUR 0.00) Bonita
4
Order
at AbeBooks.de
$ 119.08
(aprox. € 108.16)
Shipment: € 21.841
OrderSponsored link
Kurt-Gödel-Gesellschaft, .:
Collegium Logicum - Paperback

1996, ISBN: 321182796X

[EAN: 9783211827963], Gebraucht, wie neu, [PU: Springer], Like New, Books

NOT NEW BOOK. Shipping costs: EUR 21.84 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
5
Collegium Logicum (Collegium Logicum, 2) - Kurt-Gödel-Gesellschaft
Order
at AbeBooks.de
$ 58.91
(aprox. € 53.85)
Shipment: € 3.991
OrderSponsored link
Kurt-Gödel-Gesellschaft:
Collegium Logicum (Collegium Logicum, 2) - Paperback

1996, ISBN: 321182796X

[EAN: 9783211827963], Neubuch, [PU: Springer], Books

NEW BOOK. Shipping costs: EUR 3.99 Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)]

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Collegium Logicum (Collegium Logicum, 2, Band 2)

Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajic ek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.

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...