uva.nl
ILLC
Programme
MSc Logic
Logic Year
Exchange Possibilities
History and Accreditation
Application
When & How to Apply
Admission Requirements
Fees & Funding
UvA Scholarships
Information Days
Current Students
Courses
Taught Courses
Projects
Other Research Training
Regular course registration
Irregular course registration
Academic Calendar
Credit System
Graduation
Step-by-Step Guide
Supervisor
Committee
Academic plan
Academic transcripts
Deadlines
Thesis Options
Defenses 2024
Assessment
MoL Titlepage Guide
MoL graduation trajectory
Regulations
Curriculum
Official regulations
Code of Conduct
Conference submissions
Facilities
Facilities
Careers
Career Prospects
Getting Help
Non-Academic Mentors
Deadlines
Alumni Survey
Alumni Network
People
Management
Committees
Mentors
Teachers
Students
Alumni
Student Testimonials
Theses
Recent
Archive
Search
Master of Logic / ILLC
MScLogic
UvA
Main Page Navigation
Programme
MSc Logic
Logic Year
Exchange Possibilities
History and Accreditation
Application
When & How to Apply
Admission Requirements
Fees & Funding
UvA Scholarships
Information Days
Current Students
Courses
Taught Courses
Projects
Other Research Training
Regular course registration
Irregular course registration
Academic Calendar
Credit System
Graduation
Step-by-Step Guide
Supervisor
Committee
Academic plan
Academic transcripts
Deadlines
Thesis Options
Defenses 2024
Assessment
MoL Titlepage Guide
MoL graduation trajectory
Regulations
Curriculum
Official regulations
Code of Conduct
Conference submissions
Facilities
Facilities
Careers
Career Prospects
Getting Help
Deadlines
Alumni Survey
Alumni Network
Non-Academic Mentors
People
Management
Committees
Mentors
Teachers
Students
Alumni
Student Testimonials
Theses
Recent
Archive
Projects in Previous Years
Home
Current Students
Courses
Previous Projects
1st Semester 2004/05: Algebraic and Intuitionistic Logic
Courses
Taught Courses
Projects
Other Research Training
Regular course registration
Irregular course registration
Academic Calendar
Credit System
Quick Links
UvA topics
Student Information System
Schedules (datanose)
Course Catalogue
Canvas
ILLC Events
1st Semester 2004/05: Algebraic and Intuitionistic Logic
Instructors
B.Löwe, N.Bezhanishvili
ECTS
6
Back
