- 5 Résultats
prix le plus bas: € 53,85, prix le plus élevé: € 108,16, prix moyen: € 75,27
1
Collegium Logicum - Kurt-Gödel-Gesellschaft
Commander
sur ZVAB.com
$ 61,71
(environ € 56,41)
Envoi: € 36,061
Commander
Détails du fournisseur
Lien sponsorisé
Kurt-Gödel-Gesellschaft:

Collegium Logicum - Livres de poche

1996, ISBN: 321182796X

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

NEW BOOK. Frais d'envoi EUR 36.06 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fermer(X)
2
Commander
sur AbeBooks.de
$ 72,41
(environ € 65,77)
Envoi: € 12,851
Commander
Détails du fournisseur
Lien sponsorisé

Not Available (Not Available):

Collegium Logicum: Annals of the Kurt-Godel Society: Vol 2 - Livres de poche

1996, ISBN: 321182796X

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

NEW BOOK. Frais d'envoi EUR 12.85 Revaluation Books, Exeter, United Kingdom [2134736] [Rating: 5 (von 5)]
fermer(X)
3
Commander
sur Biblio.co.uk
$ 100,81
(environ € 92,15)
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Kurt-Gödel-Gesellschaft:
Collegium Logicum (Collegium Logicum, 2) - Livres de poche

ISBN: 9783211827963

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

Frais d'envoiVersandkostenfrei. (EUR 0.00) Bonita
fermer(X)
4
Commander
sur AbeBooks.de
$ 119,08
(environ € 108,16)
Envoi: € 21,841
Commander
Détails du fournisseur
Lien sponsorisé
Kurt-Gödel-Gesellschaft, .:
Collegium Logicum - Livres de poche

1996, ISBN: 321182796X

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

NOT NEW BOOK. Frais d'envoi EUR 21.84 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
fermer(X)
5
Collegium Logicum (Collegium Logicum, 2) - Kurt-Gödel-Gesellschaft
Commander
sur AbeBooks.de
$ 58,91
(environ € 53,85)
Envoi: € 3,991
Commander
Détails du fournisseur
Lien sponsorisé
Kurt-Gödel-Gesellschaft:
Collegium Logicum (Collegium Logicum, 2) - Livres de poche

1996, ISBN: 321182796X

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

NEW BOOK. Frais d'envoi EUR 3.99 Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)]
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Collegium Logicum (Collegium Logicum, 2, Band 2)
Auteur:
Titre:
ISBN:

9783211827963


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.

Informations détaillées sur le livre - Collegium Logicum (Collegium Logicum, 2, Band 2)


EAN (ISBN-13): 9783211827963
ISBN (ISBN-10): 321182796X
Version reliée
Livre de poche
Date de parution: 2013
Editeur: Springer

Livre dans la base de données depuis 2007-11-18T17:04:43+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-01-10T18:52:01+01:00 (Paris)
ISBN/EAN: 9783211827963

ISBN - Autres types d'écriture:
3-211-82796-X, 978-3-211-82796-3
Autres types d'écriture et termes associés:
Auteur du livre: kurt gödel, kurt goedel, gesellschaft ulk, institut für gesellschaft, kurt godel
Titre du livre: kurt gödel, collegium logicum

Données de l'éditeur

Auteur: Kenneth A. Loparo
Titre: Collegium Logicum; Collegium Logicum
Editeur: Springer; Springer Wien
140 Pages
Date de parution: 1996-04-30
Vienna
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783709193945 Collegium Logicum (Kurt-Gödel-Gesellschaft)

< pour archiver...