Authors
Authors
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
Metamathematics, Machines And Gdel's Proof

Metamathematics, Machines And Gdel's Proof
by N. Shankar / 1997 / English / PDF


Read Online 9.4 MB Download


Describes the use of computer programs to check several proofs in the foundations of mathematics.

Related Programming Books:

  • Migrating Applications To The Cloud With Azure: Re-Architect And Rebuild Your Applications Using Cloud-Native Technologies

    Migrating Applications To The ...

  • Programming Ios 13: Dive Deep Into Views, View Controllers, And Frameworks

    Programming Ios 13: Dive ...

  • The Essentials Of Computer Organization And Architecture

    The Essentials Of Computer ...

  • Prvention Gegen Produktpiraterie: Innovationen Schtzen

    Prvention Gegen Produktpiraterie: Innovationen ...

  • Comptia A+ 220-1001 And 220-1002 Exam Cram

    Comptia A+ 220-1001 And ...

  • A Hand Book On Frauds: All You Want To Know About Frauds

    A Hand Book On ...

  • Introduction To Networking Basics

    Introduction To Networking Basics

  • Recent Advances On Memetic Algorithms And Its Applications In Image Processing (Studies In Computational Intelligence)

    Recent Advances On Memetic ...

  • The Essentials Of Computer Organization Design And Architecture

    The Essentials Of Computer ...

  • The Theory Of Queuing Systems With Correlated Flows

    The Theory Of Queuing ...

  • Challenges In Social Network Research

    Challenges In Social Network ...

  • Virtual Reality With Vrtk4: Create Immersive Vr Experiences Leveraging Unity3d And Virtual Reality Toolkit

    Virtual Reality With Vrtk4: ...

views: 144

Genre

  • Animals
  • Architecture
  • Art
  • Biography
  • Business
  • Cinema
  • Cookbooks
  • Culture
  • Design
  • Drawing
  • Economics
  • Encyclopedia and Dictionary
  • Family and Friendship
  • Fitness
  • Gambling
  • Games
  • Hardware
  • Healthcare
  • History
  • Hobbies
  • Information Technologies
  • Languages
  • Martial Arts
  • Medicine
  • Military
  • Music
  • Novels
  • Other
  • Personality
  • Photo
  • Poetry
  • Politics and Sociology
  • Programming
  • Relationships
  • Religion
  • Science
  • Astronomy
  • Biology
  • Chemistry
  • Cryptography
  • Engineering and Technology
  • Mathematics
  • Philosophy
  • Physics
  • Psychology
  • Security
  • Sexuality
  • Software
  • Sport
  • Travel
  • Web Development

Language

  • English
  • French
  • German
  • Italian
  • Spanish
  • Contacts
  • Privacy Policy
  • DMCA Policy