Egyéb keresési lehetőségek:
"matematikai logika" » "matematika logika" (Keresés kiterjesztése)
Megjelenítés: 1 - 9 / 9 - kulcsszavak: '"matematikai logika"', keresési idő: 0.06mp Találatok szűrése
1
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle
Szerző: Cheng, Yong, szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Heyting Algebras : Duality Theory
Szerző: Esakia, Leo, szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
A Model–Theoretic Approach to Proof Theory
Szerző: Kotlarski, Henryk, szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Szerző: Di Nasso, Mauro, szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Introduction to Discrete Mathematics via Logic and Proof
Szerző: Jongsma, Calvin, szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Numerical Methods of Mathematics Implemented in Fortran
Szerző: Bose, Sujit Kumar, szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior
Szerző: Schultz, Patrick., szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Combinatorial Set Theory of C*-algebras
Szerző: Farah, Ilijas., szerző
Megjelenés: 2019
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése