ISBN: 9781402006043 - types, tableaus, and gödel’s god (trends in logic, 12, band 12) (2 Ergebnisse)

von Melvin Chris Fitting

Optimieren Sie Ihre Suche

  • Bücher (2)

  • Neu (2)
Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Springer, 2002

    1402006047 / 9781402006043

    • Hardcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 130,09

    EUR 13,36 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: Kluwer Academic Publishers, 2002

    1402006047 / 9781402006043

    • Hardcover

    Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 180,12

    EUR 9,36 Versand 
    Versand innerhalb von USA

    Anzahl: 15 verfügbar

    Zustand: New. Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof of Prawitz/Takahashi. Series: Trends in Logic. Num Pages: 181 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 461. . 2002. Hardback. . . . . Books ship from the US and Ireland.…