Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: 511.33)
Results:42items
The foundations of intuitionistic mathematics, especially in relation to recursive functions / {by} Stephen Cole Kleene {and} Richard Eugene Vesley.
Amsterdam : North-Holland , 1965. - (Studies in logic and the foundations of mathematics)
Books
Lattice theory / edited by A. P. Huhn and E. T. Schmidt.
14. - Amsterdam : North-Holland , c1976.. - (Colloquia mathematica Societatis Janos Bolyai ; 14)
The theory of ultrafilters / W. W. Comfort, S. Negrepontis.
Bd. 211. - Berlin : Springer , 1974. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 211)
Proceedings of the University of Houston Lattice Theory Conference, March 22-24, 1973 / editors, Siemion Fajtlowicz, Klaus Kaiser.
Houston : Dept. of Mathematics, University of Houston , 1973
Theory of symmetric lattices / {by} F. Maeda {and} S. Maeda.
Bd.173. - Berlin : Springer , 1970. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.173)
Metaharmonic lattice point theory / Willi Freeden
: hbk. - Boca Raton, Fla. ; London : Chapman & Hall/CRC , c2011. - (Monographs and textbooks in pure and applied mathematics ; 299)
Separation in Point-Free Topology / by Jorge Picado, Aleš Pultr
1st ed. 2021.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2021)
E-Book
Graded Orders / by F.M., van Oystaeyen
1st ed. 1988.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1988)
Lattices, Semigroups, and Universal Algebra / edited by Jorge Almeida, Gabriela Bordalo, Philip Dwinger
1st ed. 1990.. - (New York, NY : Springer US : Imprint: Springer , 1990)
Semigroups in Complete Lattices : Quantales, Modules and Related Topics / by Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018). - (Developments in Mathematics. ISSN:2197795X ; 54)
Banach Spaces of Continuous Functions as Dual Spaces / by H. G. Dales, F.K. Dashiell, Jr., A.T.-M. Lau, D. Strauss
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Springer , 2016). - (CMS Books in Mathematics, Ouvrages de mathématiques de la SMC. ISSN:21974152)
Lattice Theory: Special Topics and Applications : Volume 2 / edited by George Grätzer, Friedrich Wehrung
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2016)
Lattice Theory: Special Topics and Applications : Volume 1 / edited by George Grätzer, Friedrich Wehrung
1st ed. 2014.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2014)
Poset Codes: Partial Orders, Metrics and Coding Theory / by Marcelo Firer, Marcelo Muniz S. Alves, Jerry Anderson Pinheiro, Luciano Panek
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018). - (SpringerBriefs in Mathematics. ISSN:21918201)
The Congruences of a Finite Lattice : A "Proof-by-Picture" Approach / by George Grätzer
3rd ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023)
The algebraic theory of compact Lawson semilattices : applications of Galois connections to compact semilattices / Karl Heinrich Hofmann and Albert Stralka.
Warszawa : Panstwowe Wydawn. Naukowe , 1976. - (Dissertationes mathematicae)
General lattice theory / by George GrC̄tzer.
75. - New York : Academic Press , 1978. - (Pure and applied mathematics : a series of monographs and textbooks ; 75)
Reasoning in Quantum Theory : Sharp and Unsharp Quantum Logics / by Maria Luisa Dalla Chiara, Roberto Giuntini, Richard Greechie
1st ed. 2004.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2004). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 22)
Ensembles ordonnés finis : concepts, résultats et usages / by Nathalie Caspard, Bruno Leclerc, Bernard Monjardet
1st ed. 2007.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2007). - (Mathématiques et Applications. ISSN:21983275 ; 60)
The Problem of Integrable Discretization : Hamiltonian Approach / by Yuri B. Suris
1st ed. 2003.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2003). - (Progress in Mathematics. ISSN:2296505X ; 219)