你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Logikkalküle (in German)
Type
Physical Book
Publisher
Author
Language
German
Pages
232
Format
Paperback
ISBN13
9783519023456
Edition No.
1978th

Logikkalküle (in German)

Richter Michael (Author) · Vieweg+Teubner Verlag · Paperback

Logikkalküle (in German) - Richter Michael

Cheaper New Book Imported to Taiwan
Delivery: 29 Sep - 12 Oct Shipping: 12 to 16 business days.
NT$ 1,599
Faster New Book Imported to Taiwan
Delivery: 17 Sep - 25 Sep Shipping: 4 to 5 business days.
NT$ 2,056
NT$ 1,599

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Logikkalküle (in German)"

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten- logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü- lisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten lä t. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits- begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen lä t sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, da die Vollständigkeitsbeweise in Hilberttypkal- külen Korollare zu Betrachtungen über Kongruenzrelationen in ge- wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be- trachtungen haben wir uns kurz ge fa t und nur einige grundlegende Begriffe vorgestellt.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews