Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Boeken - University of California Press - 9780520023567 - 26 juni 1973
Indien omslag en titel niet overeenkomen, is de titel correct

Geoffrey Hunter
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Prijs
€ 43,49

Besteld in een afgelegen magazijn

Verwachte levering 6 - 13 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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.

302 pages, Ill.

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 26 juni 1973
ISBN13 9780520023567
Uitgevers University of California Press
Pagina's 302
Afmetingen 209 × 136 × 18 mm   ·   400 g
Taal en grammatica Engels  

Meer door Geoffrey Hunter

Alles tonen

Bekijk alles van Geoffrey Hunter ( bijv. Paperback Book en Hardcover Book )