LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Levi, Giorgio

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9783540191292
Verlag:
Springer
Seitenzahl:
232
Auflage:
-
Erschienen:
2008-06-13
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)

Produktdetails

Einband:
paperback
Seitenzahl:
232
Erschienen:
2008-06-13
Sprache:
Englisch
EAN:
9783540191292
ISBN:
9783540191292
Verlag:
Springer
Gewicht:
731 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Levi, Giorgio

Entdecke mehr vom Verlag

Springer
Akzeptabel
56,67 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
Logic Colloquium 1984: Proceedings (Studies in Logic and the Foundations of Mathematics)
  • hardcover
  • 388 Seiten
  • Erschienen 1986
  • Elsevier Science Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Colloquium 1984: Proceedings (Studies in...
etc.
22,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
16,06 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logic Colloquium 1981: Herbrand Symposium Proceedings (Studies in Logic and the Foundations of Mathematics)
  • hardcover
  • 396 Seiten
  • Erschienen 1982
  • Elsevier Science Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Colloquium 1981: Herbrand Symposium...
Stern, J.
71,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
3,53 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD, Band 1)
  • paperback
  • 176 Seiten
  • Erschienen 2017
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Combinatory Logic: (Grundlagen...
Curry, Haskell
6,77 € 21,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings (Lecture Notes in Computer Science, 74, Band 74)
  • paperback
  • 596 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Becvar, J.
10,96 € 45,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Logics in Artificial Intelligence
  • Hardcover
  • 408 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logics in Artificial Intelligence
-
6,86 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Logik und Logikprogrammierung (Kolleg Synchron)
  • paperback
  • 312 Seiten
  • Erschienen 2003
  • Synchron
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Logikprogrammierung (Kolleg Synchron)
Hölldobler, Steffen
6,90 € 29,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Natural Language and Logic
  • Hardcover
  • 264 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Language and Logic
Studer, Rudi
7,60 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Logic Programming and Databases (Surveys in Computer Science)
  • hardcover
  • 297 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Databases (Surveys in...
Tanca, Letizia
4,71 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Handbook of Logic in Artificial Intelligence and Logic Programming
  • Hardcover
  • 534 Seiten
  • Erschienen 1993
  • Oxford Univ Pr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Logic in Artificial Intelligence...
-
47,93 € 496,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Proof Theory and Intuitionistic Systems
  • Hardcover
  • 300 Seiten
  • Erschienen 1971
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Intuitionistic Systems
Scarpellini, Bruno
12,53 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Computation Theory and Logic
  • Hardcover
  • 460 Seiten
  • Erschienen 1987
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computation Theory and Logic
Börger, Egon
15,67 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Functional Programming Application and Implementation
  • hardcover
  • 350 Seiten
  • Erschienen 1980
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Programming Application and...
Henderson, Peter
7,43 € 74,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Systems of Logic
  • Taschenbuch
  • 336 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems of Logic
Martin, Norman M.
9,84 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details (Synthese Library, 70, Band 70)
  • microfilm
  • 606 Seiten
  • Erschienen 1974
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Outline of Mathematical Logic: Fundamental...
Zawadowski, Waclaw
90,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Programming Language Fundamentals
  • Hardcover
  • 224 Seiten
  • Erschienen 2024
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Language Fundamentals
Erwig, Martin
30,85 € 101,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Tense and Tense Logic
  • Hardcover
  • 176 Seiten
  • Erschienen 1980
  • De Gruyter Mouton
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tense and Tense Logic
Clifford, John E.
5,47 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
16,06 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Optimization and Computational Logic (Wiley-Interscience Series in Discrete Mathematics and Optimization)
  • hardcover
  • 536 Seiten
  • Erschienen 1996
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Optimization and Computational Logic...
Tretkoff, Carol
16,69 € 112,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Eco Targets, Goal Functions, and Orientors
  • Hardcover
  • 644 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Eco Targets, Goal Functions, and Orientors
-
48,77 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
  • paperback
  • 240 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Isabelle/HOL: A Proof Assistant for...
Wenzel, Markus
16,51 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Logische und Funktionale Programmierung: Grundlagen einer Kombination (Künstliche Intelligenz)
  • paperback
  • 168 Seiten
  • Erschienen 1991
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logische und Funktionale Programmierung:...
Furbach, Ulrich
8,62 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)
  • hardcover
  • 228 Seiten
  • Erschienen 1980
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
General Recursion Theory: An Axiomatic Approach...
Fenstad, J. E.
6,90 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics, 53, Band 53)
  • hardcover
  • 404 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Course in Mathematical Logic for...
Koblitz
78,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Grundlegung der Logik. Ausgewählte Paragraphen aus der Wissenschaftslehre I/ II
  • hardcover
  • 451 Seiten
  • Erschienen 1978
  • Meiner
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundlegung der Logik. Ausgewählte Paragraphen...
Kambartel, Friedrich
41,38 € 92,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Logical Enterprise
  • Gebundene Ausgabe
  • 261 Seiten
  • Erschienen 1977
  • Yale University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Logical Enterprise
Alan Ross Anderson
1,82 €
Details
frontend/listing/product-box/box-product-slider.tpl
-25%
Bridges from Classical to Nonmonotonic Logic (Texts in Computing Vol.5 5)
  • paperback
  • 236 Seiten
  • Erschienen 2005
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Bridges from Classical to Nonmonotonic Logic...
Makinson, David
19,74 € 26,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Foundations of Mathematics I
  • Hardcover
  • 238 Seiten
  • Erschienen 2011
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Mathematics I
-
8,44 € 28,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Mathematical Logic (Undergraduate Texts in Mathematics)
  • hardcover
  • 301 Seiten
  • Erschienen 1994
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic (Undergraduate Texts in...
Thomas, Wolfgang
18,66 € 64,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Typed Lambda Calculi and Applications
  • Hardcover
  • 448 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Typed Lambda Calculi and Applications
Abramsky, Samson
16,06 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Set Theory and Model Theory: Proceedings. Ed by R.B. Jensen Proc of Informal Symp Held Bonn, June 1-3, 1979
  • paperback
    • -
  • Erschienen 1981
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Set Theory and Model Theory: Proceedings. Ed by...
Jensen
9,42 € 20,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Einführung in die mathematische Logik (Raabe,samtliche Werke, Band 5)
  • Kartoniert
  • 285 Seiten
  • Erschienen 1977
  • Vandenhoeck & Ruprecht
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die mathematische Logik...
Tarski, Alfred
3,59 € 35,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
Beiträge zur Grundlegung einer operationsfähigen Dialektik (I): Metakritik der Logik, nicht-aristotelische Logik, Reflexion, Stellenwerttheorie, ... transklassische Maschinentheorie
  • Kartoniert
  • 382 Seiten
  • Erschienen 1976
  • Meiner, F
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beiträge zur Grundlegung einer...
Günther, Gotthard
25,13 € 98,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)
  • textbook
  • 300 Seiten
  • Erschienen 1964
  • Van Nostrand Reinhold
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Mathematical Logic (University...
Mendelson, Elliott
27,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Logische Grundlagen der Mathematik (Springer-Lehrbuch)
  • paperback
  • 216 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logische Grundlagen der Mathematik...
Schindler, Ralf
15,58 € 27,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-31%
Programmieren in Prolog (Informationstechnik und Datenverarbeitung)
  • paperback
  • 345 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programmieren in Prolog (Informationstechnik...
Sterner, Heinz
34,67 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)
  • hardcover
  • 152 Seiten
  • Erschienen 1977
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beginning Model Theory: The Completeness...
Bridge, Jane
24,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-7%
Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)
  • paperback
  • 566 Seiten
  • Erschienen 1977
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theory (Studies in Logic and Foundations...
Keisler, H. Jerome
36,15 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Laws of Thought (Great Books in Philosophy)
  • paperback
  • 472 Seiten
  • Erschienen 2003
  • Prometheus Books
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Laws of Thought (Great Books in Philosophy)
Boole, George
36,98 €
Details