First-order Logic
Odporučiť
  • Anglický jazyk

First-order Logic

Autor: Frederic P. Miller

First-order logic. Non-logical symbol, Free variables and bound variables, Structure (mathematical logic), List of rules of inference, Method of analytic tableaux, Sequent calculus, Higher-order logic, Extension by definitions, Interpretation (model... Viac o knihe

Na objednávku

132.91 €

bežná cena: 139.90 €

O knihe

First-order logic. Non-logical symbol, Free variables and bound variables, Structure (mathematical logic), List of rules of inference, Method of analytic tableaux, Sequent calculus, Higher-order logic, Extension by definitions, Interpretation (model theory), Herbrandization

  • Vydavateľstvo: OmniScriptum
  • Rok vydania: 2026
  • Formát: Paperback
  • Rozmer: 220 x 150 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9786130079185

Odporúčané tituly:

Greenberg, M: Applications of Green's Functions in Science
  • Anglický jazyk Anglický jazyk

Greenberg, M: Applications of Green's Functions in Science

17.92 € 18.86 € (ušetríte 5%)
MuPAD Pro Computing Essentials
  • Anglický jazyk Anglický jazyk

MuPAD Pro Computing Essentials

Miroslaw Majewski

72.11 € 75.91 € (ušetríte 5%)
Hyperbolic Systems of Conservation Laws
  • Anglický jazyk Anglický jazyk

Hyperbolic Systems of Conservation Laws

Alberto Bressan

160.45 € 168.89 € (ušetríte 5%)
Mathematics for Finance An Introduction
  • Anglický jazyk Anglický jazyk

Mathematics for Finance An Introduction

Marek Capinski

49.38 € 51.98 € (ušetríte 5%)
HEAVEN & EARTH

HEAVEN & EARTH

21.16 € 22.27 € (ušetríte 5%)
Guesstimation 2.0
  • Anglický jazyk Anglický jazyk

Guesstimation 2.0

Lawrence Weinstein

20.83 € 21.93 € (ušetríte 5%)
Applications of Green`s Functions in Science and Engineering
  • Anglický jazyk Anglický jazyk

Applications of Green`s Functions in Science and Engineering

Michael Greenberg

17.92 € 18.86 € (ušetríte 5%)
Linear Operators for Quantum Mechanics
  • Anglický jazyk Anglický jazyk

Linear Operators for Quantum Mechanics

Thomas Jordan

17.92 € 18.86 € (ušetríte 5%)
Johnson, N: Continuous Univariate Distributions, Volume 2
  • Anglický jazyk Anglický jazyk

Johnson, N: Continuous Univariate Distributions, Volume 2

166.50 € 175.26 € (ušetríte 5%)
Atlas of Science

Atlas of Science

30.03 € 31.61 € (ušetríte 5%)
Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

43.65 € 45.95 € (ušetríte 5%)
Introduction to Mathematics with Maple
  • Anglický jazyk Anglický jazyk

Introduction to Mathematics with Maple

Peter Adams

59.13 € 62.24 € (ušetríte 5%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.