• English
    • Latviešu
    • Deutsch
    • русский
  • Help
  • English 
    • English
    • Latviešu
    • Deutsch
    • русский
  • Login
Search 
  •   DSpace Home
  • Search
  •   DSpace Home
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Introduction to Mathematical Logic (Edition 2017) 

Podnieks, Karlis (2017-05-24)
This is Edition 2017. Read the NEW Edition 2021 at https://dspace.lu.lv/dspace/handle/7/53914. Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving ...

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjects

My Account

Login

Discover

Author
Podnieks, Karlis (1)
Subjectcompleteness theorem (1)constructive logic (1)
first order logic (1)
Herbrand theorem (1)
intuitionistic logic (1)
logic (1)
mathematical logic (1)
model theory (1)
normal forms (1)
predicate logic (1)... View MoreDate Issued2017 (1)

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV