Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens fundament
  7. Algebra
  8. Alasdair Urquhart on Nonclassical and Algebraic Logic and...

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

(Bog, Paperback / softback, Engelsk)
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algebra Filosofi: logik Matematikkens fundament Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2022 ed.
Udgivelsesdato 26-09-2022
Første udgivelsesår 2022
Serie Outstanding Contributions to Logic
Illustrationer 5 Illustrations, color; 61 Illustrations, black and white; XIII, 586 p. 66 illus., 5 illus. in color.
Fagredaktør Ivo Duntsch, Edwin Mares
Originalsprog Switzerland
Sideantal 586
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 586 pages, 5 Illustrations, color; 61 Illustrations, black and white; XIII, 586 p. 66 illus., 5 illu
Mål 235 x 155
ISBN-13 / EAN-13 9783030714321