Filter
Søkt på: Bøker av J H Barwise
Filter
totalt 3 treff
Algebra of Proofs
e-bok,
2016,
Engelsk,
ISBN 9781483275420
Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of …
Constructivism in Mathematics
heftet,
1988,
Engelsk,
ISBN 9780444705068
W T Waggoner Estate V. Wichita County U.S. Supreme Court Transcript of Record with Supporting Pleadings
pocket,
2011,
ISBN 9781270000419