First-Order Logic 1
bokomslag First-Order Logic
Vetenskap & teknik

First-Order Logic

Raymond M Smullyan

Pocket

209:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 3-7 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 176 sidor
  • 2000
An introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods.
  • Författare: Raymond M Smullyan
  • Format: Pocket/Paperback
  • ISBN: 9780486683706
  • Språk: Engelska
  • Antal sidor: 176
  • Utgivningsdatum: 2000-02-01
  • Förlag: Dover Publications Inc.

Du kanske gillar

  1. bokomslag First-Order Logic

    First-Order Logic

    Raymond R Smullyan

    Pocket

    989:-
  2. bokomslag First-Order Logic

    First-Order Logic

    Per Lindström

    Häftad

    199:-
  3. bokomslag Chess Mysteries of Sherlock Holmes

    Chess Mysteries of Sherlock Holmes

    Raymond M Smullyan

    Pocket

    229:-
  4. bokomslag Who Knows?

    Who Knows?

    Raymond M Smullyan

    Pocket

    309:-
  5. bokomslag What is the Name of This Book?

    What is the Name of This Book?

    Raymond M Smullyan

    Pocket

    259:-
  6. bokomslag Set Theory and the Continuum Problem

    Set Theory and the Continuum Problem

    Raymond M Smullyan

    Inbunden

    2099:-
  7. bokomslag Recursion Theory for Metamathematics

    Recursion Theory for Metamathematics

    Raymond M Smullyan

    Inbunden

    3169:-
  8. bokomslag Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

    Reflections: The Magic, Music And Mat...

    Raymond M Smullyan

    Inbunden

    1219:-
  9. bokomslag The Lady or the Tiger?

    The Lady or the Tiger?

    Raymond M Smullyan

    Pocket

    259:-
  10. bokomslag Beginner's Further Guide To Mathematical Logic, A

    Beginner's Further Guide To Mathemati...

    Raymond M Smullyan

    Inbunden

    1069:-

Andra av samma författare

  1. bokomslag Gdel's Incompleteness Theorems

    Gdel's Incompleteness Theorems

    Raymond M Smullyan

    Inbunden

    4739:-
  2. bokomslag Recursion Theory for Metamathematics

    Recursion Theory for Metamathematics

    Raymond M Smullyan

    Inbunden

    3169:-
  3. bokomslag Set Theory and the Continuum Problem

    Set Theory and the Continuum Problem

    Raymond M Smullyan

    Inbunden

    2099:-
  4. bokomslag Diagonalization and Self-Reference

    Diagonalization and Self-Reference

    Raymond M Smullyan

    Inbunden

    5289:-
  5. bokomslag Who Knows?

    Who Knows?

    Raymond M Smullyan

    Pocket

    309:-
  6. bokomslag The Lady or the Tiger?

    The Lady or the Tiger?

    Raymond M Smullyan

    Pocket

    259:-
  7. bokomslag Satan, Cantor & Infinity

    Satan, Cantor & Infinity

    Raymond M Smullyan

    Pocket

    169:-
  8. bokomslag King Arthur in Search of His Dog and Other Curious Puzzles

    King Arthur in Search of His Dog and ...

    Raymond M Smullyan

    Pocket

    109:-
  9. bokomslag Set Theory and the Continuum Problem

    Set Theory and the Continuum Problem

    Melvin Fitting Raymond M Smullyan

    Pocket

    179:-
  10. bokomslag What is the Name of This Book?

    What is the Name of This Book?

    Raymond M Smullyan

    Pocket

    259:-