Mathematical Logic

Verlag: Plenum Press (1990), New York / London, 1990

Anbieter: Expatriate Bookshop of Denmark/John Jackson Books, Svendborg, DänemarkExpatriate Bookshop of Denmark/John Jackson Books

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 6. Dezember 1998

Zustand: Gebraucht

EUR 59,76

EUR 59,00 Versand 
Versand von Dänemark nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

26x17cm, x, 412 pp, Proceedings of the Summer School & Conference on Mathematical Logic, September 13 - 23 1988, Bulgaria. Contains 28 papers. Includes: A.S. Troelstra "On the Early History of Intuitionist Logic"; D. van Dalen "Heyting & Intuitionist Geometry"; D. de Jongh & F. Veltman "Provability Logics for Relative Interpretability"; S. Hayashi "Constructive Mathematics & Computer-Assisted Reasoning Systems"; B. Kushner "Markov's Constructive Mathematical Analysis: The Expectations &Results"; G. Mints "Normalization Theorems for the Intuitionistic Systems" ; D. Normann "Formalizing the Notion of Total Information"; H. Oho " Structural Rules & a Logical Hierarchy"; V. Shehtman & D. Skvortsov " Semantics of Non-classical First Order Predicate Logics"; I.N. Soskov "On the Computational Power of the Logic Programs"; G. Takeuti "Some Relations among Systems for Bounded Arithmetic"; W. Veldman "A Survey of Intuitionistic Descriptive Set Theory"; A. Visser "Interpretability Logic";S.S: Wainer "Hierarchies of Provably Computable Functions"; V.M. Abrusci " Sequent Calculus for Intuitionistic Linear Propositional Logic"; D.S. Bridges "Order Isomorphisms: A Constructive Measure-Theoretic View"; C.S. Copestake "1-Generic Enumeration Degrees Below 0' "; O. Demuth "Remarks on Denjoy Sets"; W. Dzik "Lattices Adequate for Intuitionistic Predicate Logic"; W. Penczek "A Temporal Logic for Event Structures"; etc. …

Bestandsnummer des Verkäufers 006244

Bibliografische Details

Titel
Mathematical Logic
Autor
Petkov, Petio Petrov, editor:
Verlag
Plenum Press (1990), New York / London
Erscheinungsjahr
1990
Zustand
Minor rubbing, VG.
Einband
orig.boards
Verkäuferkataloge
Mathematical Logic

Expatriate Bookshop of Denmark/John Jackson Books

Svendborg, Dänemark

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 6. Dezember 1998

Versandkosten von Dänemark nach USA

Artikel27 bis 52 Werktage31 bis 53 Werktage
Erster ArtikelEUR 59,00EUR 84,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bankeinzug
  • Banküberweisung
  • Bar
  • Vorauskasse
  • Zahlungsanweisung

Spezialisierung

Social - Political & Religious Movements, Indian Subcontinent, Economic & Colonial History, Humanities & Social Sciences, Linguistics; Classical Philology; Archaeology, Anthropology & Comparative Religion, Africa; Asia; Latin America

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Expatriate Bookshop of Denmark/John Jackson Books

Dänemark