1. Home
  2. Medien
  3. Bücher
  4. Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)
  • #

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)

42.75 EUR

Teilen:
Gesponsert

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)

Medimops DE
42.75 EUR
22-04-2026 05:39:26
Gesponsert

Proof Theory and Intuitionistic Systems

SpringerLink DE
42.75 EUR
21-04-2026 21:04:34

Ähnliche Produkte

Computational Logic and Proof Theory

Computational Logic and Proof Theory

53.49 EUR
Proceedings of the Logic Colloquium. Held in Aachen July 18-23 1983

Proceedings of the Logic Colloquium. Held in Aachen July 18-23 1983

48.10 EUR
ISILC

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ...

37.40 EUR
Laser Induced Thermal Diffusion Shock Waves

Laser Induced Thermal Diffusion Shock Waves

49.00 EUR
Hybrid Logic and Its Proof-Theory

Hybrid Logic and Its Proof-Theory

106.99 EUR
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory

26.70 EUR
Advances in Proof Theory

Advances in Proof Theory

104.34 EUR
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

31.47 EUR