Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs (Bog, Hardback, 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, Hardback, Engelsk)
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 Hardback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 25-09-2021
Første udgivelsesår 2021
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 Hardback
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 9783030714291