phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Mathematical Logic

Limba englezăengleză
Carte Copertă tare
Carte Mathematical Logic Heinz-Dieter Ebbinghaus
Codul Libristo: 36551707
Editura Springer Nature Switzerland AG, mai 2021
This introduction to first-order logic clearly works out the role of first-order logic in the founda... Descrierea completă
? points 207 b
416 lei
În depozitul extern Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Quantum Mechanics: The Theoretical Minimum Leonard Susskind / Carte broșată
common.buy 58 lei
top
Introduction to Quantum Mechanics David J. Griffiths / Copertă tare
common.buy 341 lei
top
Options, Futures, and Other Derivatives, Global Edition John Hull / Carte broșată
common.buy 377 lei
top
No Excuses! Brian Tracy / Carte broșată
common.buy 88 lei
top
Choujin X, Vol. 1 / Carte broșată
common.buy 65 lei
top
Oxford Handbook of Philosophy of Mathematics and Logic Stewart Shapiro / Carte broșată
common.buy 349 lei
top reduceri
Mathematical Modelling Techniques Rutherford Aris / Carte broșată
common.buy 59 lei
Mathematical Methods for Physics and Engineering Kenneth F. Riley / Carte broșată
common.buy 260 lei
Maths Book DK / Copertă tare
common.buy 103 lei
Math Games with Bad Drawings / Copertă tare
common.buy 133 lei
Mathematical Logic Stephen Cole Kleene / Copertă tare
common.buy 112 lei
Great Mathematical Problems Ian Stewart / Carte broșată
common.buy 77 lei
Contemporary Counterpoint: Theory & Application Beth Denisch / Carte broșată
common.buy 112 lei
Atlas of Operative Procedures in Surgical Oncology Constantine P. Karakousis / Copertă tare
common.buy 1.057 lei
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory Douglas Cenzer / Copertă tare
common.buy 346 lei
Introduction to Formal Logic / Copertă tare
common.buy 141 lei

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. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Informații despre carte

Titlu complet Mathematical Logic
Autor Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
Limba engleză
Legare Carte - Copertă tare
Data publicării 2021
Număr pagini 304
EAN 9783030738389
ISBN 3030738388
Codul Libristo 36551707
Editura Springer Nature Switzerland AG
Greutatea 658
Dimensiuni 243 x 161 x 21

Categorii

Mathematics & Science > Mathematics > Mathematical foundations
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo