• Start
  • Kopen
Veiling Wereldwiskunde Fonds
Welkom, Gast
Mijn account

Aanmelden

Gebruikersnaam vergeten of wachtwoord vergeten?
Geen account? Maar er een.
0
Jouw winkelwagen is leeg.
  • Start
  • 100-plussers (69)
  • Algemeen (2)
  • Biografie (5)
  • Computer (5)
  • Didactiek - onderwijs (15)
  • Filosofie (8)
  • Geschiedenis (3)
  • Informatica (5)
  • Recreatie (45)
  • Schoolboeken (78)
  • Studieboeken (224)
  • Telecommunicatie (9)
  • Tijdschriften (25)
  • Wetenschap (3)
Veiling Wereldwiskunde Fonds
0
Jouw winkelwagen is leeg.
  • Welkom, Gast
  • Start
  • Kopen
  • Verlanglijst
  • Inschrijven / Aanmelden
  1. Start
  2. Filosofie
ID: 2214 Gesloten
Popular Lectures on Mathematical Logic

Popular Lectures on Mathematical Logic

€2,00

Gesloten
Aantal
1
€2,00
17 kijkend 178 weergaven
Beschrijving
Popular Lectures on Mathematical Logic
Hao Wang

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
Specificaties
Auteur
Hao Wang
Uitgever
Dover
Jaar
1993 (orig. 1981)
Druk
-
Aantal pagina's
281
Taal
Engels
Doos
B44
Betalingen & retouren
Betaalmethoden
Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Lagere Algebra I
Lagere Algebra I
Lagere Algebra IP. Wijdenesmet antwoordenboekje Leerboek voor de acte Wiskunde L.O. en voor inrichtingen van onderwijs met uitgebreid wiskunde-programma Deel I: De algebraïsche grootheden en hun bewerkingen Inleiding Negatief en positief Optelling Aftrekking Vermenigvuldiging Deling Ontbinding in factoren G.G.D. en K.G.V. Breuken Rekenkundige wortels Oneigenlijke machten Logarithmen Complexe getallen Algemene herhaling
€7,00
Voeg aan winkelwagen toe
Repetitorium und Aufgabensammlung zur Differentialrechnung
Repetitorium und Aufgabensammlung zur Differentialrechnung
Repetitorium und Aufgabensammlung zur DifferentialrechnungRektor Dr. Fr. JunkerPocketboek: Sammlung Göschen
€5,00
Voeg aan winkelwagen toe
Inleiding tot de moderne logica
Inleiding tot de moderne logica
Inleiding tot de moderne logicaFranz von Kutschera, Alfred BreitKopfPocketboek
€3,00
Voeg aan winkelwagen toe
Wegwijs in sw wiskunde
Wegwijs in sw wiskunde
Wegwijs in sw wiskundeW.W. SawyerPocketboek
€3,00
Voeg aan winkelwagen toe
Toon alle

Uitleg

  • Uitleg
  • Betalingen

Wereldwiskunde Fonds

  • Over ons
  • Boeken gevraagd

NVvW

  • Wereldwiskunde Fonds
  • NVvW
Veiling Wereldwiskunde Fonds

Voorwaarden en privacy

  • Voorwaarden
  • Privacyverklaring
  • Contact
Powered by PHP Pro Bid. ©2025 Online Ventures Software

De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.