libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

hermes hans - term logic with choice operator
Zoom

Term Logic with Choice Operator




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
26,98 €
NICEPRICE
25,63 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 01/1970





Sommario

Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank of term. Elementary substitution.- A term calculus.- Soundness of the rules.- Survey of the completeness proof.- Some theorems concerning deducibility.- Substitution.- Further theorems concerning deducibility.- Survey of the proof of the Theorem on satisfiability.- Details of the proof.- Completeness of restricted term calculus.










Altre Informazioni

ISBN:

9783540048992

Condizione: Nuovo
Collana: Lecture Notes in Mathematics
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:III, 59 p.
Pagine Arabe: 59
Pagine Romane: iii


Dicono di noi