Kniha Mathematical Logic Thomas

Mathematical Logic

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
1 671
This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1996
Stránek
291
EAN
9780387942582
ISBN
9780387942582
Enbook ID
06617590
Hmotnost
596
Rozměry
166 x 241 x 21

Kompletní popis

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

Mohlo by vás zajímat

1 147

Mathematical Logic

Laszlo Csirmaz
695
1 632
454

Kick in the Head

Paul B. Janeczko
577

Zákaznicí kteří koupili tuto knihu koupili také

864