Skip to main content
Catalog Search
Search Options
Entire Catalog
Programs
Courses
Search
http://stevens.smartcatalogiq.com
2ebabcfd-eb11-40d6-b3b4-4854d4ffb503
c7e9c708-2385-4b68-af7d-37aaefea808e
course
/Institutions/Stevens-Institution-of-Technology/json/2021-2022/Academic-Catalog-local.json
/Institutions/Stevens-Institution-of-Technology/json/2021-2022/Academic-Catalog.json
Contents
About
Our History and Mission
Accreditation
Academic Integrity
Student Life
Student Services
Undergraduate Education
Graduate Education
Tuition, Fees and Other Expenses for Undergraduate Students
Tuition, Fees and Other Expenses for Graduate Students
Financing a Stevens Education
School of Business
College of Arts and Letters
Schaefer School of Engineering and Science
Department of Biomedical Engineering
Department of Chemistry and Chemical Biology
Department of Chemical Engineering and Materials Science
Department of Civil, Environmental, and Ocean Engineering
Department of Computer Science
Department of Electrical and Computer Engineering
Department of Mathematical Sciences
Department of Mechanical Engineering
Department of Physics
School of Systems and Enterprises (SSE)
Courses
AAI - Applied Artificial Intelligence
ACC - Accounting
BIA - Business Intelligence and Analytics
BIO - Biology
BIOE - Bioengineering
BME - Biomedical Engineering
BT - Business and Technology
CAL-College-of-Arts-Letters
CE - Civil Engineering
CH - Chemistry
CHE - Chemical Engineering
CLK - Clark Scholars
CM - Construction Management
COMM - Professional Communications
CPE - Computer Engineering
CS - Computer Science
DE - Developmental English
DS - Data Science
EE - Electrical Engineering
ELC - English Language and Communication
EM - Engineering Management
EMT - Executive Management of Technology
EN - Environmental Engineering
ENGR - Interdepartmental Engineering
ES - Enterprise Systems
FA - Financial Analytics
FE - Financial Engineering
FIN - Finance
GEN - General Elective
HAR - Humanities Art
HHS - Humanities History
HLI - Humanities Literature
HMU - Humanities Music
HONR - Honor Program
HPL - Humanities Philosophy
HSS - Humanities Social Sciences
HST - Humanities Science and Technology Studies
HTH - Humanities Theater
HUM - Humanities General
IDE-Innovation-Design-and-Entrepreneurship
IPD - Integrated Product Development
ISE - Industrial and Systems Engineering
LCH - Language Chinese
LFR - Language French
LSP - Language Spanish
MA - Mathematics
100
200
300
400
500
600
MA 603
MA 604
MA 605
MA 606
MA 611
MA 612
MA 613
MA 615
MA 616
MA 617
MA 619
MA 620
MA 623
MA 625
MA 627
MA 629
MA 630
MA 631
MA 632
MA 633
MA 634
MA 635
MA 636
MA 637
MA 638
MA 641
MA 642
MA 649
MA 650
MA 651
MA 652
MA 653
MA 655
MA 661
MA 662
MA 681
MA 682
MA 691
700
800
90
900
ME - Mechanical Engineering
MGT - Management
MIS - Information Systems
MT - Materials Engineering
NANO - Nanotechnology
NE - Naval Engineering
NIS - Networked Information Systems
OE - Ocean Engineering
PAE - Product Architecture and Engineering
PEP-Physics-Engineering-Physics
PIN - Pinnacle Scholar
PME - Pharmaceutical Manufacturing
QF - Quantitative Finance
SEF-Science-Engineering-Found-for-Edu
SES - Systems Engineering Security
SM - Sustainability Management
SOC - Service Oriented Computing
SSW - Software Engineering
SYS - Systems Engineering
TE Technical Elective
TG - Technogenesis
TM - Telecommunications Management
Catalog Links
Catalog Home
Site Map
All Catalogs
Academic Catalog
>
Courses
>
MA - Mathematics
>
600
> MA 638
Print this page
MA 638
Mathematical Logic II
First order number theory; primitive and general recursive functions; arithmetization; Gödel’s incompleteness theorems; Tarski’s theorems; and syntax and semantics of second order theories.
Credits
3
Prerequisite
MA 637