The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    University of Florida
   
 
  Sep 21, 2017
 
 
    
2013-2014 Graduate Catalog [ARCHIVED CATALOG/PREVIOUS EDITION]

[Add to Portfolio]

PHI 6105: Seminar in Logic


Credits: 3    Max: 18                Grading Scheme: Letter, S/U

Prerequisite: PHI 5135 .      

Advanced seminar in logic, covering topics in model theory and recursion theory, beyond level of PHI 5135, including a careful treatment of Godel’s incompleteness theorems and a modest study of undecidability. S/U option available if student admitted to Ph.D. candidacy.



[Add to Portfolio]