Metalogic

Geoffrey Hunter

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.
  • Limba : Engleza
  • Data Publicarii : 26 Jun 1973
  • Format : Paperback
  • Numar pagini : 302
  • ISBN : 9780520023567
Rating:
152.99 Lei
Disponibilitate : La comanda

Stocul este limitat la furnizorii nostri. Disponibilitatea si termenul de livrare va vor fi comunicate telefonic in maxim 48 de ore. Puteti anula comanda in cazul in care informatiile furnizate nu va sunt convenabile.