Il libro è attualmente esaurito
Maggiori informazioni sul libro
Focusing on the linguistic transformation of statements in everyday arguments, this volume explores how such arguments can be understood as deductive situations or "sequents." It presents logical rules that govern these transformations, emphasizing their formal connections. The book culminates in the development of algorithms that yield results for Gentzen's midsequent theorem and Herbrand's theorem specifically for prenex formulas, offering a deep dive into the technical aspects of logical reasoning.
Acquisto del libro
Lectures on Mathematical Logic, Volume II, Walter Felscher
- Lingua
- Pubblicato
- 2000
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.