1. Home
  2. Medien
  3. Bücher
  4. Proof Methods for Modal and Intuitionistic Logics
  • #
  • #

Proof Methods for Modal and Intuitionistic Logics

213.99 EUR

Teilen:
Gesponsert

Proof Methods for Modal and Intuitionistic Logics

SpringerLink DE
213.99 EUR
22-04-2026 22:15:34

Ähnliche Produkte

Proof Methods for Modal and Intuitionistic Logics

Proof Methods for Modal and Intuitionistic Logics

213.99 EUR
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

149.79 EUR
The Align Method: 5 Movement Principles for a Stronger Body, Sharper Mind, and Stress-Proof Life

The Align Method: 5 Movement Principles for a Stronger Body, Sharper Mind, and Stress-Proof Life

4.89 EUR
Transport equation. Methods of resolution: An efficient method to proof the convergence as well as an estimative of the spectral solution of the isotropic two-dimenssional discrete ordinates problem

Transport equation. Methods of resolution: An efficient method to proof the convergence as well as an estimative of the spectral solution of the isotropic two-dimenssional discrete ordinates problem

49.00 EUR
Health Remedies: How to Naturally Boost Your Immune System with Powerful Natural Methods and be Virtually Disease Proof!

Health Remedies: How to Naturally Boost Your Immune System with Powerful Natural Methods and be Virtually Disease Proof!

11.88 EUR
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... in Computer Science

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... in Computer Science

52.94 EUR
Stewart, Alexander A.: Proof Presses

Stewart, Alexander A.: Proof Presses

27.30 EUR
Nakao, Mitsuhiro T.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Nakao, Mitsuhiro T.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

149.79 EUR