Absoluteness of intuitionistic logic /

Absoluteness of intuitionistic logic /

Saved in:
Bibliographic Details
Main Authors: Leivant, Daniel Maurice Raphael, Leivant, Daniel Maurice Raphaël, Leivant, Daniel Maurice Raphaël
Format: Thesis Book
Language:English
Published: Amsterdam : Mathematisch Centrum, 1979
Amsterdam : 1979
Series:Mathematical Centre tracts 73
Mathematical Centre tracts ; 73
Mathematical Centre tracts 73
Subjects:
Intuition
Intuitionistic mathematics
Logic, Symbolic and mathematical
Predicate (Logic)
Proof theory
Proposition (Logic)
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

University of Chicago

Holdings details from University of Chicago
Call Number: BC181.L53
QA1.A56 v.73

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA9.47.L44

Harvard University

Holdings details from Harvard University
Call Number: BC181 .L375

Duke University

Holdings details from Duke University
Call Number: 511.2 L533, A164, 1979

Dartmouth College

Holdings details from Dartmouth College
Call Number: BC181 .L375

Cornell University

Holdings details from Cornell University
Call Number: QA1 .A52 v.73

Princeton University

Holdings details from Princeton University
Call Number: QA9.47 .L44

Brown University

Holdings details from Brown University
Call Number: BC181 .L375

Similar Items