Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
First-order Logic
CHF 42.80
Auf Lager
SKU
PM0VC4FD3GD
1 Verfügbar 
Geliefert zwischen Do., 05.02.2026 und Fr., 06.02.2026
Details
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
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130079185
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- Sprache Englisch
- Größe H220mm x B150mm x T5mm
- Jahr 2009
- EAN 9786130079185
- Format Fachbuch
- ISBN 978-613-0-07918-5
- Titel First-order Logic
- Untertitel 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
- Gewicht 130g
- Herausgeber Alphascript Publishing
- Anzahl Seiten 76
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
