Fine structure and class forcing
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| সংস্থা লেখক: | |
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Berlin ; New York :
Walter de Gruyter,
2000.
|
| মালা: | De Gruyter series in logic and its applications,
3 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | An electronic book accessible through the World Wide Web; click to view |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
The axiom of determinacy, forcing axioms, and the nonstationary ideal
অনুযায়ী: Woodin, W. H. (W. Hugh)
প্রকাশিত: (2010)
অনুযায়ী: Woodin, W. H. (W. Hugh)
প্রকাশিত: (2010)
Notes on forcing axioms /
অনুযায়ী: Todorcevic, Stevo
প্রকাশিত: (2014)
অনুযায়ী: Todorcevic, Stevo
প্রকাশিত: (2014)
Forcing for mathematicians /
অনুযায়ী: Weaver, Nik
প্রকাশিত: (2014)
অনুযায়ী: Weaver, Nik
প্রকাশিত: (2014)
Distribution models theory
প্রকাশিত: (2006)
প্রকাশিত: (2006)
Institution-independent model theory
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
অনুযায়ী: Diaconescu, Răzvan
প্রকাশিত: (2008)
Simple theories and hyperimaginaries
অনুযায়ী: Casanovas, Enrique, 1957-
প্রকাশিত: (2011)
অনুযায়ী: Casanovas, Enrique, 1957-
প্রকাশিত: (2011)
Logic without borders /
প্রকাশিত: (2015)
প্রকাশিত: (2015)
The nuts and bolts of proofs
অনুযায়ী: Cupillari, Antonella
প্রকাশিত: (2005)
অনুযায়ী: Cupillari, Antonella
প্রকাশিত: (2005)
Charming proofs a journey into elegant mathematics /
অনুযায়ী: Alsina, Claudi
প্রকাশিত: (2010)
অনুযায়ী: Alsina, Claudi
প্রকাশিত: (2010)
Ways of proof theory
অনুযায়ী: Schindler, Ralf
প্রকাশিত: (2010)
অনুযায়ী: Schindler, Ralf
প্রকাশিত: (2010)
Recursion theory : computational aspects of definability /
অনুযায়ী: Chong, C.-T. (Chi-Tat), 1949-, অন্যান্য
প্রকাশিত: (2015)
অনুযায়ী: Chong, C.-T. (Chi-Tat), 1949-, অন্যান্য
প্রকাশিত: (2015)
Computational prospects of infinity
প্রকাশিত: (2008)
প্রকাশিত: (2008)
Memoirs of a proof theorist Gödel and other logicians /
অনুযায়ী: Takeuti, Gaisi, 1926-
প্রকাশিত: (2003)
অনুযায়ী: Takeuti, Gaisi, 1926-
প্রকাশিত: (2003)
Mathematical logic
অনুযায়ী: Tourlakis, George J.
প্রকাশিত: (2003)
অনুযায়ী: Tourlakis, George J.
প্রকাশিত: (2003)
Recursion theory for metamathematics
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1993)
Tracking reason proof, consequence, and truth /
অনুযায়ী: Azzouni, Jody
প্রকাশিত: (2006)
অনুযায়ী: Azzouni, Jody
প্রকাশিত: (2006)
Proof, logic, and formalization
প্রকাশিত: (1992)
প্রকাশিত: (1992)
Infinity and truth /
প্রকাশিত: (2014)
প্রকাশিত: (2014)
Infinity and the mind : the science and philosophy of the infinite /
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
অনুযায়ী: Rucker, Rudy
প্রকাশিত: (1982)
Concepts of proof in mathematics, philosophy, and computer science /
প্রকাশিত: (2016)
প্রকাশিত: (2016)
Lectures on the Curry-Howard isomorphism
অনুযায়ী: Sørensen, Morten Heine
প্রকাশিত: (2006)
অনুযায়ী: Sørensen, Morten Heine
প্রকাশিত: (2006)
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
প্রকাশিত: (1998)
প্রকাশিত: (1998)
Representation and productive ambiguity in mathematics and the sciences
অনুযায়ী: Grosholz, Emily R.
প্রকাশিত: (2007)
অনুযায়ী: Grosholz, Emily R.
প্রকাশিত: (2007)
Logic for concurrency and synchronisation
প্রকাশিত: (2003)
প্রকাশিত: (2003)
Computability in context computation and logic in the real world /
প্রকাশিত: (2011)
প্রকাশিত: (2011)
Logical reasoning with diagrams
প্রকাশিত: (1996)
প্রকাশিত: (1996)
Foundations without foundationalism a case for second-order logic.
অনুযায়ী: Shapiro, Stewart, 1951-
প্রকাশিত: (2000)
অনুযায়ী: Shapiro, Stewart, 1951-
প্রকাশিত: (2000)
A short introduction to intuitionistic logic
অনুযায়ী: Mint͡s, G. E.
প্রকাশিত: (2000)
অনুযায়ী: Mint͡s, G. E.
প্রকাশিত: (2000)
The foundations of mathematics /
অনুযায়ী: Stewart, Ian, 1945-
প্রকাশিত: (1977)
অনুযায়ী: Stewart, Ian, 1945-
প্রকাশিত: (1977)
Accounting by numbers : a programmed textbook /
অনুযায়ী: Sims, Stephen
প্রকাশিত: (1977)
অনুযায়ী: Sims, Stephen
প্রকাশিত: (1977)
Fuzzy modeling and genetic algorithms for data mining and exploration
অনুযায়ী: Cox, Earl
প্রকাশিত: (2005)
অনুযায়ী: Cox, Earl
প্রকাশিত: (2005)
Gödel's incompleteness theorems
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1992)
অনুযায়ী: Smullyan, Raymond M.
প্রকাশিত: (1992)
Publications 1929-1936 /
অনুযায়ী: Gödel, Kurt
প্রকাশিত: (1986)
অনুযায়ী: Gödel, Kurt
প্রকাশিত: (1986)
Fuzzy logic and neural networks basic concepts and application /
অনুযায়ী: Alavala, Chennakesava R.
অনুযায়ী: Alavala, Chennakesava R.
Mathematical logic
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
অনুযায়ী: Chiswell, Ian, 1948-
প্রকাশিত: (2007)
Mathematical logic in the 20th century
প্রকাশিত: (2003)
প্রকাশিত: (2003)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011)
অনুযায়ী: Hopkins, Burt C.
প্রকাশিত: (2011)
Concepts and fuzzy logic
প্রকাশিত: (2011)
প্রকাশিত: (2011)
Paradox and paraconsistency conflict resolution in the abstract sciences /
অনুযায়ী: Woods, John
প্রকাশিত: (2003)
অনুযায়ী: Woods, John
প্রকাশিত: (2003)
In the light of logic
অনুযায়ী: Feferman, Solomon
প্রকাশিত: (1998)
অনুযায়ী: Feferman, Solomon
প্রকাশিত: (1998)