Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Proof, Computation and Agency

Name: Proof, Computation and Agency
Brand: Springer
SKU: 05322970
Price: 175.55 EUR
Availability: InStock
Author: Amitabha Gupta
ISBN: 9789400700796

Logic at the Crossroads

Amitabha Gupta

Rohit Parikh

Johan F. A. K. van Benthem

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05322970

Verlag Springer, April 2011

This overview of modern logic and its relationship with other disciplines includes several articles... Vollständige Beschreibung

Libristo-Code: 05322970

425 b

175.55 €

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ab in die Flitterwochen! Ronit Jariv

Broschur

14.95 €

Muskettisoturit taistelevat Dumas Alexandre Dumas

Adobe ePub DRM

12.12 €

L'AIR N 5 RONDELS 2EME SERIE VOIX ELEVEE-PIANO CHANT CHARLES KOECHLIN Buch

binding.

14.85 €

Historique Du 11 Regiment De Dragons Depuis Sa Creation En 1674 Jusqu'en 1890 (1891) Charles J. Arthur Savin De Larclause

Broschur

35.16 €

Musical Hans-Günther Kölz

Noten

13.43 €

Montagestrukturplanung Fur Variantenreiche Serienprodukte Ulrich Zeile

Broschur

53.05 €

Schriften. Band 4 Carl Wilhelm Salice Contessa

Hardcover

119.05 €

El trigo y la mala hierba DANIEL LONDOÑO SILVA

Broschur

2.42 €

Malleus Maleficarum, das ist Heinrich Institoris

Broschur

16.97 €

Water trips : Itinerari acquatici ai tempi della crisi idrica Lorenzo Monaco

Broschur

16.67 €

Таро Тота (78 карт) Алистер Кроули

binding.

27.58 €

Ilustrovaná Biblia Eric Thomas Selina

Hardcover

22.43 €

Mendelssohn Bartholdy, Felix - Variations sérieuses op. 54 Felix Mendelssohn Bartholdy

Noten

11.11 €

Zweiachsige Nachformeinrichtungen G. Augsten

Broschur

53.05 €

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Proof, Computation and Agency

Autor Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2011

Anzahl der Seiten 372

EAN 9789400700796

ISBN 9400700792

Libristo-Code 05322970

Verlag Springer

Gewicht 734

Abmessungen 246 x 160 x 27

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Philosophie und Religion > Philosophie > Philosophiegeschichte

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert