Algebra and Logic RRFKPX3D8S

URI	`m2://res/RRFKPX3D8S`
Kind	monograph
Creators	John Newsome Crossley (editor)
Date	1975
MSC	00Bxx, 03-06
Scope	in

Expressions

e1: edition

Language	en
Date	1975
Ids	DOI 10.1007/bfb0062849, zbl 0293.00006, zbl_id 3458512

m1: print, Springer Berlin Heidelberg, 1975 (record). isbn 9783540071525, isbn 9783540374800

Relations

part_of Lecture Notes in Mathematics

References

not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Principles of Intuitionism (e1)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
Homology in Group Theory (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)
not resolved (e1)

Cited by

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Catalogue records

springer-series: 10.1007/bfb0062849 (work)
zbmath_search: 3458512 (work)