Torrent details for "Mathematical Logic, 3rd Edition - (BookRAR)"    Log in to bookmark

Quicknav > DescriptionRead comments 0Post guest comment
Torrent details
Cover
Download
Torrent rating (1 rated)
Name:
Mathematical Logic, 3rd Edition - (BookRAR)
Controls:
Report Torrent 
Torrent verified by bookrar
Category:
Books > Ebooks
Language:
English English
Total Size:
7.27 MB
Info Hash:
3d1935d89aa0296e71db8145a8d7b3d96ef9e2dc
Added By:
bookrar:_trusted_user::_sitefriend::_sitelover::_junkie::_sun:  
Added:  
05-06-2021 17:03
Views:
592
Update stats  Post guest comment  0
Health:
Seeds:
6
Leechers:
0
Completed:
715



Thanks for rating :
p751:_male: (5),


Description
Image error
Description

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.

Book Details

   Language: English
   Published: 2021
   ISBN: 3030738388
   Format: True PDF

  User comments    Sort newest first

No comments have been posted yet.



Post anonymous comment
  • Comments need intelligible text (not only emojis or meaningless drivel).
  • No upload requests, visit the forum or message the uploader for this.
  • Use common sense and try to stay on topic.

    		•
    :) :( :D :P :-) B) 8o :? 8) ;) :-* :-( :| O:-D Party Pirates Yuk Facepalm :-@ :o) Pacman Shit Alien eyes Ass Warn Help Bad Love Joystick Boom Eggplant Floppy TV Ghost Note Msg


    CAPTCHA Image 

    Anonymous comments have a moderation delay and show up after 15 minutes