Algebraic Logic

600 books
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūseiKokuritsu Kokkai Toshokan (Japan)
⏱ 31m

Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan (Japan)

199131 pp.
Algèbre de la logiqueLouis Couturat
⏱ 1h 42m

Algèbre de la logique

Louis Couturat

1905102 pp.
Mathematical proofsGary Chartrand
⏱ 6h 40m

Mathematical proofs

Gary Chartrand

2002400 pp.
Schaum's outline of theory and problems of discrete mathematicsSeymour Lipschutz
⏱ 8h 21m

Schaum's outline of theory and problems of discrete mathematics

Seymour Lipschutz

1976501 pp.
Lógica aymara y futurologíaIván Guzmán de Rojas
⏱ 1h 47m

Lógica aymara y futurología

Iván Guzmán de Rojas

2007107 pp.
Computer Algebra in Scientific ComputingVladimir P. Gerdt
⏱ 8h 14m

Computer Algebra in Scientific Computing

Vladimir P. Gerdt

2009494 pp.
Ideals, varieties, and algorithmsDavid A. Cox
⏱ 9h 32m

Ideals, varieties, and algorithms

David A. Cox

1992572 pp.
A mathematical introduction to logicHerbert B. Enderton
⏱ 5h 6m

A mathematical introduction to logic

Herbert B. Enderton

1972306 pp.
Sets, logic, and axiomatic theoriesRobert Roth Stoll
⏱ 3h 26m

Sets, logic, and axiomatic theories

Robert Roth Stoll

1961206 pp.
Model theory of fieldsD. Marker
⏱ 2h 40m

Model theory of fields

D. Marker

1996160 pp.
A Cp-Theory Problem BookVladimir V. Tkachuk
⏱ 8h 44m

A Cp-Theory Problem Book

Vladimir V. Tkachuk

2011524 pp.
Motivic integration and its interactions with model theory and non-Archimedean geometryRaf Cluckers
⏱ 5h 48m

Motivic integration and its interactions with model theory and non-Archimedean geometry

Raf Cluckers

2011348 pp.
Polynomial completeness in algebraic systemsKalle Kaarli
⏱ 6h 16m

Polynomial completeness in algebraic systems

Kalle Kaarli

2000376 pp.
Logic and AlgebraAldo Ursini
⏱ 12h 8m

Logic and Algebra

Aldo Ursini

1996728 pp.
Intelligent Computer MathematicsJacques Carette
⏱ 6h 40m

Intelligent Computer Mathematics

Jacques Carette

2009400 pp.
Continuous lattices and domainsGerhard Gierz
⏱ 10h 10m

Continuous lattices and domains

Gerhard Gierz

2003610 pp.
Discrete mathematicsMarc Lipson
⏱ 2h 0m

Discrete mathematics

Marc Lipson

2003120 pp.
Purity, spectra and localisationMike Prest
⏱ 12h 49m

Purity, spectra and localisation

Mike Prest

2008769 pp.
Field ArithmeticMichael D. D. Fried
⏱ 10h 38m

Field Arithmetic

Michael D. D. Fried

2005638 pp.
Sets, Logic and Maths for ComputingDavid Makinson
⏱ 6h 2m

Sets, Logic and Maths for Computing

David Makinson

2008362 pp.
Page 1 of 30Next →